On Synchronous and Asynchronous Interaction in Distributed Systems

DOI10.1007/978-3-540-85238-4_2zbMath1173.68585OpenAlexW2001965745MaRDI QIDQ3599113

Goltz, Ursula, Robert J. van Glabbeek, Jens-Wolfhard Schicke

Publication date: 3 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-85238-4_2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Synchrony versus causality in distributed systems ⋮ Distributability of mobile ambients ⋮ On Synchronous and Asynchronous Interaction in Distributed Systems ⋮ On Communicating Finite-State Machines

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification-oriented semantics for communicating processes
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Deterministic buffer synchronization of sequential processes
• What is a ``good encoding of guarded choice?
• On Synchronous and Asynchronous Interaction in Distributed Systems
• Time, clocks, and the ordering of events in a distributed system
• Arbitration-free synchronization
• Symmetric and Asymmetric Asynchronous Interaction
• Foundations of Software Science and Computation Structures
• First-order axioms for asynchrony