Epidemic algorithms for replicated database maintenance
Distributed snapshots: determining global states of distributed systems