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)

zbMATH Keywords

reactive systemsconcurrent programmingconditional rewritingsemantics 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

(23)

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

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)