Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. In J. W. de Bakker, A. J. Nijman, Philip C. Treleaven, editors, PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Volume 259 of Lecture Notes in Computer Science, pages 94-111, Springer, 1987.
@inproceedings{BaetenBK87:0,
title = {Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages},
author = {Jos C. M. Baeten and Jan A. Bergstra and Jan Willem Klop},
year = {1987},
tags = {C++, context-aware},
researchr = {https://researchr.org/publication/BaetenBK87%3A0},
cites = {0},
citedby = {0},
pages = {94-111},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
volume = {259},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-17945-3},
}