On the Bisimulation Proof Method (1994)

by Davide Sangiorgi
Venue:JOURNAL OF MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:100 - 6 self

Document Versions

On the Bisimulation Proof Method –Davide Sangiorgi — 1994 — JOURNAL OF MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
On the Bisimulation Proof Method –Davide Sangiorgi, Inria Sophia Antipolis, F- Sophia, Antipolis Cedex — 1994 — Journal of Mathematical Structures in Computer Science