Synchronous development of asynchronous systems

DOI10.1007/3-540-61604-7_87MaRDI QIDQ6104432zbMATH OpenOpenAlexFDO

Authors Clemens Fischer, Wil Janssen

Publication date 28 June 2023

Published in CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61604-7_87

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synthesis of Asynchronous Systems
• Asynchronous system synthesis
• scientific article; zbMATH DE number 526071
• scientific article; zbMATH DE number 3856387
• scientific article; zbMATH DE number 2017354
• Asynchronous systems theory
• Topics in asynchronous systems
• Asynchronous programming facilities for multiprocessor systems
• Concurrency in synchronous systems

Cites work

• A principle for sequential reasoning about distributed algorithms
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• Decomposition of distributed programs into communication-closed layers
• scientific article; zbMATH DE number 3869222 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 47016 (Why is no real title available?)
• scientific article; zbMATH DE number 559729 (Why is no real title available?)
• scientific article; zbMATH DE number 795694 (Why is no real title available?)
• Nets, Terms and Formulas
• Specification-oriented semantics for communicating processes

Cited in

(11)

• A framework for modeling the distributed deployment of synchronous designs
• Concurrency in synchronous systems
• On the diversity of asynchronous communication
• scientific article; zbMATH DE number 3938554 (Why is no real title available?)
• scientific article; zbMATH DE number 1286830 (Why is no real title available?)
• scientific article; zbMATH DE number 1361122 (Why is no real title available?)
• scientific article; zbMATH DE number 2001220 (Why is no real title available?)
• scientific article; zbMATH DE number 2017354 (Why is no real title available?)
• Compatibility properties of synchronously and asynchronously communicating components
• Correct-by-construction asynchronous implementation of modular synchronous specifications
• Enabling synchronous and asynchronous communications in CSP for SOC

This page was built for publication: Synchronous development of asynchronous systems

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