Deriving Weak Bisimulation Congruences from Reduction Systems

Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski. Deriving Weak Bisimulation Congruences from Reduction Systems. In Martín Abadi, Luca de Alfaro, editors, CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Volume 3653 of Lecture Notes in Computer Science, pages 293-307, Springer, 2005. [doi]

Abstract

Abstract is missing.