Symmetric and asymmetric asynchronous interaction

DOI10.1016/J.ENTCS.2009.06.040MaRDI QIDQ5166614zbMATH OpenOpenAlexFDO

Authors Ursula Goltz, Rob van Glabbeek, Jens-W. 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

asynchronous interactiondistributed systemsequivalence notionsPetri netsreactive systems

Mathematics Subject Classification ID

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

Recommendations

• On Synchronous and Asynchronous Interaction in Distributed Systems
• Synchrony vs. causality in asynchronous Petri nets
• Asynchronous communication of Petri nets and the refinement of transitions
• scientific article; zbMATH DE number 1500562
• On Distributability of Petri Nets

Cites work

• A Theory of Communicating Sequential Processes
• Arbitration-free synchronization
• Bisimulation and action refinement
• Deterministic buffer synchronization of sequential processes
• First-order axioms for asynchrony
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 3843143 (Why is no real title available?)
• scientific article; zbMATH DE number 4031000 (Why is no real title available?)
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Symmetric and asymmetric asynchronous interaction
• Time, clocks, and the ordering of events in a distributed system
• What is a ``good encoding of guarded choice?

Cited in

(5)

• Synchrony versus causality in distributed systems
• On Synchronous and Asynchronous Interaction in Distributed Systems
• Synchrony vs. causality in asynchronous Petri nets
• Symmetric and asymmetric asynchronous interaction
• Asynchronous communication of Petri nets and the refinement of transitions

This page was built for publication: Symmetric and asymmetric asynchronous interaction

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