Distributed speculative execution for reliability and fault tolerance: an operational semantics (Q2377270)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Distributed speculative execution for reliability and fault tolerance: an operational semantics |
scientific article |
Statements
Distributed speculative execution for reliability and fault tolerance: an operational semantics (English)
0 references
28 June 2013
0 references
speculations
0 references
operational semantics
0 references
distributed systems
0 references
fault tolerance
0 references
transactions
0 references
