On the Axiomatisation of Branching Bisimulation Congruence over CCS.

Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik

Browse the full CONCUR paper archive.