Bisimulation is decidable for all basic parallel processes (1993)

by S Christensen, Y Hirshfeld, F Moller
Venue:In Proceedings of CONCUR’93, volume 715 of LNCS