Bisimulation Equivalence is Decidable for Basic Parallel Processes.

Sren Christensen, Yoram Hirshfeld, Faron Moller

Browse the full CONCUR paper archive.