Deriving Bisimulation Congruences for Reactive Systems (2000)

by J Leifer, R Milner
Venue:in Proceedings of the 11th International Conference on Concurrency Theory