scientific article; zbMATH DE number 1361139

zbMATH Open0940.68016MaRDI QIDQ4270076FDOQ4270076

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

Publication date: 10 November 1999

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (38)

• Synchronized extension systems
• Title not available (Why is that?)
• Argos: an automaton-based synchronous language
• Synchronous structures
• Constructive polychronous systems
• The semantics and execution of a synchronous block-diagram language.
• 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
• Title not available (Why is that?)
• The SL synchronous language, revisited
• Formalization of Habanero phasers using Coq
• On Compiling Structured Interactive Programs with Registers and Voices
• Title not available (Why is that?)
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Certifying synchrony for free
• A metamodel for the design of polychronous systems
• Compositional design of isochronous systems
• A novel WCET semantics of synchronous programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Languages for reactive specifications: synchrony vs. asynchrony
• Title not available (Why is that?)
• Formal verification of programs specified with signal: Application to a power transformer station controller
• Title not available (Why is that?)
• The concurrent assignment representation of synchronous systems
• 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.
• Title not available (Why is that?)
• A framework for modeling the distributed deployment of synchronous designs
• 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)