Bisimulation equivalence is decidable for basic parallel processes (1993)

by S Christensen, Y Hirshfeld, F Moller
Venue:CONCUR '93: 4th International Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science