Modular Checkpointing for Atomicity

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan. Modular Checkpointing for Atomicity. Electronic Notes in Theoretical Computer Science, 174(9):85-115, 2007. [doi]

Abstract

Abstract is missing.