A denotational theory of synchronous reactive systems

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

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

Publication date: 27 September 1992

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

zbMATH Keywords

synchronization; filtering; Omega model; multiplexing; multiple clocked; recurrent systems; SIGNAL; trace model

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68N15: Theory of programming languages

68Q55: Semantics in the theory of computing

68N99: Theory of software

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item