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

DOI10.1016/0167-6423(91)90001-EzbMATH Open0745.68031MaRDI QIDQ1183545FDOQ1183545

Authors: Albert Benveniste, Paul Le Guernic, Christian Jaquemot 

Publication date: 28 June 1992

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

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

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)

Cited In (23)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Synchronous structures
• The semantics and execution of a synchronous block-diagram language.
• Title not available (Why is that?)
• Interpreting message flow graphs
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Syntactical and semantical aspects of Faust
• Zélus: a synchronous language with ODEs

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)