Distributed speculative execution for reliability and fault tolerance: an operational semantics

DOI10.1007/s00446-008-0073-1zbMath1267.68063OpenAlexW1993079907MaRDI QIDQ2377270

Jason Hickey, Cristian Ţăpuş

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

zbMATH Keywords

distributed systemsoperational semanticsfault tolerancetransactionsspeculations

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Distributed speculative execution for reliability and fault tolerance: an operational semantics