On Synchronous and Asynchronous Interaction in Distributed Systems

DOI10.1007/978-3-540-85238-4_2MaRDI QIDQ3599113zbMATH OpenOpenAlexFDO

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

Recommendations

• Symmetric and asymmetric asynchronous interaction
• Synchrony versus causality in distributed systems
• Synchrony vs. causality in asynchronous Petri nets
• On Distributability of Petri Nets
• scientific article; zbMATH DE number 3870604

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 3843143 (Why is no real title available?)
• scientific article; zbMATH DE number 4031000 (Why is no real title available?)
• Arbitration-free synchronization
• Deterministic buffer synchronization of sequential processes
• First-order axioms for asynchrony
• Foundations of Software Science and Computation Structures
• On Synchronous and Asynchronous Interaction in Distributed Systems
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Specification-oriented semantics for communicating 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

(10)

• Synchrony versus causality in distributed systems
• CONCUR test-of-time award for the period 1994--97 interview with Uwe Nestmann and Benjamin C. Pierce
• Separation and encodability in mixed choice multiparty sessions
• On Synchronous and Asynchronous Interaction in Distributed Systems
• scientific article; zbMATH DE number 2001220 (Why is no real title available?)
• Symmetric and asymmetric asynchronous interaction
• On Communicating Finite-State Machines
• Distributability of mobile ambients
• scientific article; zbMATH DE number 5269308 (Why is no real title available?)
• Mixed choice in session types

This page was built for publication: On Synchronous and Asynchronous Interaction in Distributed Systems

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