## 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 |