Compositionality in dataflow synchronous languages: Specification and distributed code generation
From MaRDI portal
Publication:1854388
DOI10.1006/inco.2000.9999zbMath1003.68068OpenAlexW2040789302MaRDI QIDQ1854388
Paul Le Guernic, Albert Benveniste, Benoît Caillaud
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.2000.9999
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Non-standard semantics of hybrid systems modelers, Synchronous structures, A framework for modeling the distributed deployment of synchronous designs, Concurrency in synchronous systems, Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
Uses Software
Cites Work
- Unnamed Item
- Semi-commutations
- Theory of traces
- Synchronous programming with events and relations: The SIGNAL language and its semantics
- Clocks in dataflow languages
- A denotational theory of synchronous reactive systems
- Hybrid dynamical systems theory and the Signal language
- Specifying Concurrent Program Modules