Gérard Berry, Laurent Cosserat. The ESTEREL Synchronous Programming Language and its Mathematical Semantics. In Stephen D. Brookes, A. W. Roscoe, Glynn Winskel, editors, Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Volume 197 of Lecture Notes in Computer Science, pages 389-448, Springer, 1984.
@inproceedings{BerryC84, title = {The ESTEREL Synchronous Programming Language and its Mathematical Semantics}, author = {Gérard Berry and Laurent Cosserat}, year = {1984}, tags = {programming languages, semantics, programming}, researchr = {https://researchr.org/publication/BerryC84}, cites = {0}, citedby = {0}, pages = {389-448}, booktitle = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984}, editor = {Stephen D. Brookes and A. W. Roscoe and Glynn Winskel}, volume = {197}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-15670-4}, }