Deriving bisimulation congruences for reactive systems (2000)

by J Leifer, R Milner
Venue:Proceedings of the 11th International Conference on Concurrency Theory (CONCUR’00), volume 1877 of LNCS