Bisimulation equivalence is decidable for basic parallel processes (0)

by Søren Christensen, Yoram Hirshfeld, Faron Moller
Venue:In Best [Bes93