Synchronous development of asynchronous systems

DOI10.1007/3-540-61604-7_87zbMath1517.68258OpenAlexW1555661911MaRDI QIDQ6104432

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decomposition of distributed programs into communication-closed layers
• Specification-oriented semantics for communicating processes
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• A principle for sequential reasoning about distributed algorithms
• Nets, Terms and Formulas

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