On the Bisimulation Proof Method (1994)

by Davide Sangiorgi , Inria Sophia Antipolis , F- Sophia , Antipolis Cedex
Venue:Journal of Mathematical Structures in Computer Science
Citations:72 - 2 self