Enabling Preserving Bisimulation Equivalence.

Rob van Glabbeek, Peter Hfner, Weiyou Wang

Browse the full CONCUR paper archive.