On the Bisimulation Proof Method (1994)

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