Bisimulation Equivalence is Decidable for all Context-Free Processes (1995)

by Søren Christensen, Hans Hüttel, Colin Stirling
Venue:Information and Computation