Deriving Bisimulation Congruences for Reactive Systems. (2000)

by J J Leifer, R Milner
Venue:In Proc. of CONCUR