Epidemic algorithms for replicated database maintenance
Hierarchical correctness proofs for distributed algorithms