Synchrony versus causality in distributed systems
From MaRDI portal
Recommendations
Cites work
- A fully abstract semantics for causality in the \(\pi\)-calculus
- Comparing communication primitives via their relative expressive power
- Distributing finite automata through Petri net synthesis
- Expressiveness of process algebras
- Is it a ``good encoding of mixed choice?
- Non-interleaving semantics for mobile processes
- On Distributability of Petri Nets
- On Synchronous and Asynchronous Interaction in Distributed Systems
- Refinement of actions and equivalence notions for concurrent systems
- Towards a unified approach to encodability and separation results for process calculi
- What is a ``good encoding of guarded choice?
Cited in
(13)- scientific article; zbMATH DE number 3990883 (Why is no real title available?)
- Beyond Lamport's happened-before: on the role of time bounds in synchronous systems
- Synchronous, asynchronous, and causally ordered communication
- On Synchronous and Asynchronous Interaction in Distributed Systems
- Synchronous versus asynchronous dynamics in spatially distributed systems
- Synchrony vs causality in the asynchronous \(\pi\)-calculus
- Mixed sessions
- Mixed sessions
- Synchrony vs. causality in asynchronous Petri nets
- On the expressiveness of mixed choice sessions
- scientific article; zbMATH DE number 5049705 (Why is no real title available?)
- Reliable synchronization in distributed systems
- Mixed choice in session types
This page was built for publication: Synchrony versus causality in distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2971080)
