A denotational theory of synchronous reactive systems

DOI10.1016/0890-5401(92)90030-JzbMath0753.68058MaRDI QIDQ1193599

Michel Sorine, Albert Benveniste, Yves Sorel, Paul Le Guernic

Publication date: 27 September 1992

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

synchronizationfilteringOmega modelmultiplexingmultiple clockedrecurrent systemsSIGNALtrace model

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items

Constraint nets: a semantic model for hybrid dynamic systems, Compositionality in dataflow synchronous languages: Specification and distributed code generation

Uses Software

• SIGNAL
• LUSTRE
• Esterel
• Lucid

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Theory of traces
• The Esterel synchronous programming language: Design, semantics, implementation
• A functional model for describing and reasoning about time behaviour of computing systems
• Hybrid dynamical systems theory and the Signal language
• Lucid—A Formal System for Writing and Proving Programs
• Testing and generating infinite sequences by a finite automaton