Techniques of ‘weak bisimulation up to (1992)

by D Sangiorgi, R Milner
Venue:In Proc. CONCUR 92