Pages that link to "Item:Q1183422"
From MaRDI portal
The following pages link to The causal ordering abstraction and a simple way to implement it (Q1183422):
Displaying 23 items.
- A limitation of vector timestamps for reconstructing distributed computations (Q293417) (← links)
- On the diversity of asynchronous communication (Q315311) (← links)
- From the happened-before relation to the causal ordered set abstraction (Q433461) (← links)
- A framework for viewing atomic events in distributed computations (Q1128710) (← links)
- Recording distributed snapshots based on causal order of message delivery (Q1209371) (← links)
- An optimal algorithm for distributed snapshots with causal message ordering (Q1330663) (← links)
- Detecting causal relationships in distributed computations: In search of the holy grail (Q1331790) (← links)
- Bounded time-stamping in message-passing systems (Q1853588) (← links)
- Verifying programs that use causally-ordered message-passing (Q1893537) (← links)
- Efficient dependency tracking for relevant events in concurrent systems (Q1954199) (← links)
- Byzantine-tolerant causal broadcast (Q1981768) (← links)
- Set-constrained delivery broadcast: a communication abstraction for Read/write implementable distributed objects (Q2232592) (← links)
- Crash-tolerant causal broadcast in \(O(n)\) messages (Q2274523) (← links)
- On the interconnection of message passing systems (Q2380084) (← links)
- Similarity Orders from Causal Equations (Q2938516) (← links)
- Communication Patterns and Input Patterns in Distributed Computing (Q3460703) (← links)
- Emerging order in CAS theory: mapping some perspectives (Q3639389) (← links)
- Implementation of hierarchical F-channels for high-performance distributed computing (Q5136998) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)
- Necessary and sufficient conditions on information for causal message ordering and their optimal implementation (Q5137351) (← links)
- (Q5203927) (← links)
- GUARANTEED MUTUALLY CONSISTENT CHECKPOINTING IN DISTRIBUTED COMPUTATIONS (Q5249033) (← links)
- AUTOMATIC INFERENCE OF THE CONTEMPORANEOUS CAUSAL ORDER OF A SYSTEM OF EQUATIONS (Q5697624) (← links)