Distributed speculative execution for reliability and fault tolerance: an operational semantics
From MaRDI portal
Publication:2377270
DOI10.1007/s00446-008-0073-1zbMath1267.68063MaRDI QIDQ2377270
Publication date: 28 June 2013
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00446-008-0073-1
68M14: Distributed systems
68M15: Reliability, testing and fault tolerance of networks and computer systems
Cites Work
- Abstractions for fault-tolerant global computing
- Recovery in distributed systems using optimistic message logging and checkpointing
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- A checkpoint protocol for an entry consistent shared memory system
- CONCUR 2005 – Concurrency Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item