Bisimulation is decidable for all basic parallel processes (1993)

by S Christensen, Y Hirshfeld, F Moller
Venue:In Proceedings of CONCUR `93