Bisimulation Collapse and the Process Taxonomy.

Olaf Burkart, Didier Caucal, Bernhard Steffen

Browse the full CONCUR paper archive.