The Esterel synchronous programming language: design, semantics, implementation
- 1 November 1992
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 19 (2), 87-152
- https://doi.org/10.1016/0167-6423(92)90005-v
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- LUSTRE: a declarative language for real-time programmingPublished by Association for Computing Machinery (ACM) ,1987
- From regular expressions to deterministic automataTheoretical Computer Science, 1986
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Derivatives of Regular ExpressionsJournal of the ACM, 1964