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)

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

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)