A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.

Rob J. van Glabbeek

Browse the full MFCS paper archive.