Pages that link to "Item:Q1881258"
From MaRDI portal
The following pages link to Abstractions for fault-tolerant global computing (Q1881258):
Displaying 8 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Distributed speculative execution for reliability and fault tolerance: an operational semantics (Q2377270) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- On the Implementation of Global Abduction (Q5302008) (← links)
- Programming Languages and Systems (Q5308701) (← links)
- cJoin: Join with communicating transactions (Q5740633) (← links)