Luis M. Alonso, Ricardo Pena. Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. In Emile H. L. Aarts, Jan van Leeuwen, Martin Rem, editors, PARLE 91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Volume 506 of Lecture Notes in Computer Science, pages 75-91, Springer, 1991.
@inproceedings{AlonsoP91,
title = {Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems},
author = {Luis M. Alonso and Ricardo Pena},
year = {1991},
researchr = {https://researchr.org/publication/AlonsoP91},
cites = {0},
citedby = {0},
pages = {75-91},
booktitle = {PARLE 91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings},
editor = {Emile H. L. Aarts and Jan van Leeuwen and Martin Rem},
volume = {506},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54152-7},
}