## On the Bisimulation Proof Method (1994)

by
Davide Sangiorgi

Venue: | JOURNAL OF MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |

Citations: | 72 - 2 self |