On the Proof Method for Bisimulation (1995)

by D Sangiorgi
Venue:In Wiedermann and Hájek (eds.), Proc. of MFCS ’95. LNCS 969