Synchronous structures
From MaRDI portal
Publication:2500524
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
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
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)