Bisimulation Equivalence is Decidable for Basic Parallel Processes (1993)

by S Christensen, Y Hirshfeld, F Moller
Venue:CONCUR 1993, Lecture Notes in Computer Science 715