A compositional semantic theory for synchronous component-based design.

DOI10.1007/B11938MaRDI QIDQ5900583zbMATH OpenOpenAlexFDO

Authors Barry Norton, Gerald Lüttgen, Michael Mendler

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional design of isochronous systems
• scientific article; zbMATH DE number 1361139
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Synchronous structures
• A compositional specification theory for component behaviours

Cited in

(3)

• Multi-rate system design through integrating synchronous components
• scientific article; zbMATH DE number 2080212 (Why is no real title available?)
• Compositional design of isochronous systems

Describes a project that uses

Uses Software

• LabVIEW

This page was built for publication: A compositional semantic theory for synchronous component-based design.

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