Synchronous structures

DOI10.1016/J.IC.2001.05.001MaRDI QIDQ2500524zbMATH OpenOpenAlexFDO

Authors David Nowak

Publication date 17 August 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2001.05.001

zbMATH Keywords

synchronous programmingreactive systempreorder semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 1361139 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Clocks in dataflow languages
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(26)

• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• Synchronous Kahn networks
• The semantics and execution of a synchronous block-diagram language.
• Causal Semantics for the Algebra of Connectors
• Foundations of a theory of synchronous systems
• scientific article; zbMATH DE number 3894485 (Why is no real title available?)
• Synchronized extension systems
• scientific article; zbMATH DE number 4011943 (Why is no real title available?)
• 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 1946734 (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
• Argos: an automaton-based synchronous language
• Certifying synchrony for free
• Causal semantics for the algebra of connectors
• The concurrent assignment representation of synchronous systems
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 2017354 (Why is no real title available?)
• Constructive polychronous systems
• A compositional semantic theory for synchronous component-based design.
• Specification and analysis of synchronous reactions
• A framework for modeling the distributed deployment of synchronous designs

Describes a project that uses

Uses Software

• Coq
• SIGNAL
• LUSTRE
• Esterel

This page was built for publication: Synchronous structures

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