Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation
Authors:
- Albert BenvenisteABAlbert Benveniste
- Benoı̂t CaillaudBCBenoı̂t Caillaud
- Paul Le GuernicPGPaul Le Guernic
- 1 November 2000
- journal article
- Published by Elsevier in Information and Computation
- Vol. 163 (1) , 125-171
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A denotational theory of synchronous reactive systemsInformation and Computation, 1992
- Clocks in dataflow languagesTheoretical Computer Science, 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
- Theory of tracesTheoretical Computer Science, 1988
- Semi-commutationsInformation and Computation, 1987
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983