Login / Signup

Bisimulation is Two-Way Simulation.

Jan A. BergstraGheorghe Stefanescu
Published in: Inf. Process. Lett. (1994)
Keyphrases