Synchronous programming with events and relations: The SIGNAL language and its semantics

DOI10.1016/0167-6423(91)90001-EMaRDI QIDQ1183545zbMATH OpenFDO

Authors Albert Benveniste, Paul Le Guernic, Christian Jaquemot

Publication date 28 June 1992

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(91)90001-E

zbMATH Keywords

concurrent programmingconditional rewritingreactive systemssemantics of SIGNAL programsskew product of a dynamical systemsynchronous programming language

Mathematics Subject Classification ID

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

Recommendations

• A denotational theory of synchronous reactive systems
• scientific article; zbMATH DE number 1361139
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 1760146
• scientific article; zbMATH DE number 526071

Cited in

(26)

• The semantics and execution of a synchronous block-diagram language.
• Timed-pNets: a communication behavioural semantic model for distributed systems
• Syntactical and semantical aspects of Faust
• Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Interpreting message flow graphs
• Algebraic quantitative semantics for efficient online temporal monitoring
• Synchronous structures
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Rigorous implementation of real-time systems -- from theory to application
• Zélus: a synchronous language with ODEs
• Hybrid dynamical systems theory and the Signal language
• scientific article; zbMATH DE number 3970103 (Why is no real title available?)
• scientific article; zbMATH DE number 4082959 (Why is no real title available?)
• scientific article; zbMATH DE number 1487494 (Why is no real title available?)
• scientific article; zbMATH DE number 1760146 (Why is no real title available?)
• scientific article; zbMATH DE number 1830941 (Why is no real title available?)
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• On implementable timed automata
• TCC, with history
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Formal verification of programs specified with signal: Application to a power transformer station controller
• Causal semantics for the algebra of connectors
• Multi-task implementation of multi-periodic synchronous programs
• Specification and verification of multi-clock systems using a temporal logic with clock constraints
• Compositionality in dataflow synchronous languages: specification \& code generation

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication: Synchronous programming with events and relations: The SIGNAL language and its semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183545)