Jos C. M. Baeten

• J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Decidability of bisimulation equivalence for processes generating context-free languages. Journal of the ACM, 40(3):653-682, July 1993. References and Citations.

Shortcuts: