scientific article; zbMATH DE number 1361139

MaRDI QIDQ4270076zbMATH OpenFDO

Authors Jean-Pierre Talpin, Paul Le Guernic, David Nowak

Publication date 10 November 1999

zbMATH Keywords

reactive systemssynchronous languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

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

Cited in

(38)

• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 4082959 (Why is no real title available?)
• Synchronous Kahn networks
• Specifying and verifying reactive systems in a multi-language environment
• On Compiling Structured Interactive Programs with Registers and Voices
• The semantics and execution of a synchronous block-diagram language.
• Foundations of a theory of synchronous systems
• Formal verification of programs specified with signal: Application to a power transformer station controller
• Synchronized extension systems
• scientific article; zbMATH DE number 4011943 (Why is no real title available?)
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 2080750 (Why is no real title available?)
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• scientific article; zbMATH DE number 1692943 (Why is no real title available?)
• scientific article; zbMATH DE number 1569131 (Why is no real title available?)
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• A novel WCET semantics of synchronous programs
• The SL synchronous language, revisited
• An algebraic theory for behavioral modeling and protocol synthesis in system design
• Argos: an automaton-based synchronous language
• Certifying synchrony for free
• Formalization of Habanero phasers using Coq
• The concurrent assignment representation of synchronous systems
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1760146 (Why is no real title available?)
• scientific article; zbMATH DE number 1390244 (Why is no real title available?)
• scientific article; zbMATH DE number 3943033 (Why is no real title available?)
• Languages for reactive specifications: synchrony vs. asynchrony
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 2017354 (Why is no real title available?)
• Synchronous structures
• Constructive polychronous systems
• A compositional semantic theory for synchronous component-based design.
• A metamodel for the design of polychronous systems
• Compositional design of isochronous systems
• Specification and analysis of synchronous reactions
• A framework for modeling the distributed deployment of synchronous designs

This page was built for publication:

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