On the bisimulation proof method, Math. Struct (1998)

by D Sangiorgi
Venue:In Comp. Science 98(8