Synchronous programming with events and relations: The SIGNAL language and its semantics
From MaRDI portal
Publication:1183545
DOI10.1016/0167-6423(91)90001-EzbMath0745.68031MaRDI QIDQ1183545
Albert Benveniste, Paul Le Guernic, Christian Jaquemot
Publication date: 28 June 1992
Published in: Science of Computer Programming (Search for Journal in Brave)
concurrent programmingreactive systemsconditional rewritingsemantics of SIGNAL programsskew product of a dynamical systemsynchronous programming language
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (14)
Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ On Implementable Timed Automata ⋮ Timed-pNets: a communication behavioural semantic model for distributed systems ⋮ Interpreting message flow graphs ⋮ Multi-task implementation of multi-periodic synchronous programs ⋮ TCC, with History ⋮ Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation ⋮ Synchronous structures ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking ⋮ Causal semantics for the algebra of connectors ⋮ Algebraic quantitative semantics for efficient online temporal monitoring ⋮ Rigorous implementation of real-time systems – from theory to application ⋮ Abstraction of Clocks in Synchronous Data-Flow Systems ⋮ Compositionality in dataflow synchronous languages: Specification and distributed code generation
Uses Software
This page was built for publication: Synchronous programming with events and relations: The SIGNAL language and its semantics
