Deriving Weak Bisimulation Congruences from Reduction Systems.

Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski

Browse the full CONCUR paper archive.