Techniques of weak bisimulation up-to (1992)

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