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

Cristian Tapus, Jason Hickey. Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Computing, 21(6):433-455, 2009. [doi]

Abstract

Abstract is missing.