Deriving Bisimulation Congruences for Reactive Systems.

James J. Leifer, Robin Milner

Browse the full CONCUR paper archive.