The problem of "Weak Bisimulation up to (1992)

by D Sangiorgi, R Milner
Venue:Proc. CONCUR '92, volume 630 of Lecture Notes in Computer Science