The problem of weak bisimulation up-to (1992)

by Davide Sangiorgi, Robin Milner
Venue:630. Lecture Notes in Computer science (Springer-Verlag