On the Bisimulation Proof Method (1994)

by Davide Sangiorgi
Venue:JOURNAL OF MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:73 - 2 self