Franck Petit INRIA / LIP Lyon Stabilization, Synchronization of Logical Clocks and Applications.
Distributed Snapshots: Determining Global States of Distributed Systems - K. Mani Chandy and Leslie Lamport.
Distributed Snapshots: Determining Global States of Distributed Systems Joshua Eberhardt Research Paper: Kanianthra Mani Chandy and Leslie Lamport.
Lecture 2: Reasoning with Distributed Programs Anish Arora CSE 6333.
Uncoordinated Checkpointing
The Syntax of L
Splay Trees and the Interleave Bound