F.: Bisimulation is decidable for all basic parallel processes (1993)

by S Christensen, Y Hirshfeld, Moller
Venue:In: Proceedings of CONCUR’93, LNCS Vol 715, pp 143–157