Decidability of bisimulation equivalence for process generating context-free languages.

MLA

Baeten, J. C. M., et al. “Decidability of Bisimulation Equivalence for Process Generating Context-Free Languages.” Journal of the ACM, vol. 40, no. 3, July 1993, pp. 653–82. EBSCOhost, https://doi.org/10.1145/174130.174141.

APA

Baeten, J. C. M., Bergstra, J. A., & Klop, J. W. (1993). Decidability of bisimulation equivalence for process generating context-free languages. Journal of the ACM, 40(3), 653–682. https://doi.org/10.1145/174130.174141

Chicago

Baeten, J. C. M., J. A. Bergstra, and J. W. Klop. 1993. “Decidability of Bisimulation Equivalence for Process Generating Context-Free Languages.” Journal of the ACM 40 (3): 653–82. doi:10.1145/174130.174141.