Bisimulation equivalence is decidable for basic parallel processes (1993)

by Søren Christensen, Yoram Hirshfeld, Faron Moller
Venue:In CONCUR