From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases.

Rowin Versteeg, Valentina Castiglioni, Bas Luttik

Browse the full CONCUR paper archive.