Two epoch algorithms for disaster recovery
Distributed snapshots: determining global states of distributed systems