Symmetric and Asymmetric Asynchronous Interaction

DOI10.1016/j.entcs.2009.06.040zbMath1291.68291OpenAlexW2166157081MaRDI QIDQ5166614

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

Publication date: 27 June 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.040

zbMATH Keywords

distributed systemsPetri netsreactive systemsasynchronous interactionequivalence notions

Mathematics Subject Classification ID

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

Related Items (2)

Symmetric and Asymmetric Asynchronous Interaction ⋮ On Synchronous and Asynchronous Interaction in Distributed Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Bisimulation and action refinement
• 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?
• A Theory of Communicating Sequential Processes
• 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

This page was built for publication: Symmetric and Asymmetric Asynchronous Interaction