Compositionality in dataflow synchronous languages: Specification and distributed code generation

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

Mathematics Subject Classification ID

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

• SynDEx
• SIGNAL
• Esterel

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