Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes

Sren Christensen, Yoram Hirshfeld, Faron Moller

Browse the full LICS paper archive.