Synchronous structures

DOI10.1016/J.IC.2001.05.001zbMATH Open1110.68019OpenAlexW2912169573MaRDI QIDQ2500524FDOQ2500524

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

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

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)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• 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
• Clocks in dataflow languages
• Title not available (Why is that?)

Cited In (26)

• Synchronized extension systems
• Title not available (Why is that?)
• Argos: an automaton-based synchronous language
• Constructive polychronous systems
• The semantics and execution of a synchronous block-diagram language.
• Title not available (Why is that?)
• Hybrid Systems: Computation and Control
• Specification and analysis of synchronous reactions
• Title not available (Why is that?)
• The SL synchronous language, revisited
• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• 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 novel WCET semantics of synchronous programs
• The concurrent assignment representation of synchronous systems
• Foundations of a theory of synchronous systems
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Title not available (Why is that?)
• A compositional semantic theory for synchronous component-based design.
• A framework for modeling the distributed deployment of synchronous designs
• Synchronous Kahn networks
• Causal semantics for the algebra of connectors
• Causal Semantics for the Algebra of Connectors

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)