The problem of "weak bisimulation up to (1992)

by Davide Sangiorgi, Robin Milner
Venue:Proceedings of CONCUR'92, volume 630 of Lecture Notes in Computer Science