1. A communication-induced checkpointing protocol that ensures rollback-dependency trackability;Baldoni,1997
2. Consistent records in asynchronous computations;Baldoni;Acta Inform.,1998
3. An index-based checkpointing algorithm for autonomous distributed systems;Baldoni,1997
4. Lattice Theory;Birkhoff,1973
5. Distributed domino-effect free recovery algorithm;Briatico,1984