Frédéric Boniol. COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata. In Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis, editors, PARLE 94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Volume 817 of Lecture Notes in Computer Science, pages 611-622, Springer, 1994.
@inproceedings{Boniol94, title = {COREA: A Synchronous Calculus of Parallel Communicating Reactive Automata}, author = {Frédéric Boniol}, year = {1994}, researchr = {https://researchr.org/publication/Boniol94}, cites = {0}, citedby = {0}, pages = {611-622}, booktitle = {PARLE 94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings}, editor = {Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis}, volume = {817}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58184-7}, }