Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.

Haim Gaifman, Michael J. Maher, Ehud Shapiro

Browse the full PODC paper archive.