Synchronous programming with events and relations: the SIGNAL language and its semantics
- 1 September 1991
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 16 (2), 103-149
- https://doi.org/10.1016/0167-6423(91)90001-e
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- Synchronous programming with events and relations: the SIGNAL language and its semanticsScience of Computer Programming, 1991
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Signal--A data flow-oriented language for signal processingIEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
- The denotational semantics of dynamic networks of processesACM Transactions on Programming Languages and Systems, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970