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

by J C M Baeten, J A Bergstra, J W Klop
Venue:In Proceedings of PARLE’87, volume 259 of LNCS