Replay, recovery, replication, and snapshots of nondeterministic concurrent programs (0)

by H Gaifman, M J Maher, E Shapiro
Venue:In Principles of Distributed Computing