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:85 - 3 self