Techniques of “weak bisimulation up to (1992)

by D Sangiorgi, R Milner
Venue:In Proceedings of CONCUR’92, LNCS 630