- 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.
- Y. Toyama, Jan Willem Klop, and H. P. Barendregt. Termination for direct sums of
left-linear complete term rewriting systems. Journal of the
ACM, 42(6):1275-1304, November 1995.
References,
Citations,
etc.
Shortcuts: