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

by J BAETEN, J BERGSTRA, J KLOP
Venue:J. ACM