1. Afek Y, Attiya H, Dolev D, Gafni E, Merritt M, Shavit S (1993) Atomic snapshots of shared memory. J ACM 40(4):873–890
2. Chandy KM, Lamport L (1985) Distributed snapshots: determining global states of distributed systems. ACM Trans Comput Syst 3(1):63–75
3. Cooper R, Marzullo K (1991) Consistent detection of global predicates. In: Proceedings of the ACM/ONR workshop on parallel and distributed debugging, Santa Cruz. ACM, pp 163–173
4. Dijkstra EWD, Scholten CS (1980) Termination detection for diffusing computations. Inf Process Lett 11(1):1–4
5. Francez N (1980) Distributed termination. ACM Trans Program Lang Syst 2(1):42–55