Decidability of bisimulation equivalence for processes generating context-free languages (1993)

by J C M Baeten, J A Bergstra, J W Klop
Venue:J.ACM