1. Afek, Y., Kutten, S., Yung, M.: The local detection paradigm and its applications to self stabilization. Theoretical Computer Science 186(1-2), 199–230 (1997)
2. Awerbuch, B.: Optimal distributed algorithms for minimum weight spanning tree, counting, leader election, and related problems. In: 19th ACM Symp. on Theory of computing (STOC), pp. 230–240 (1987)
3. Awerbuch, B., Kutten, S., Peleg, D.: Competitive Distributed Job Scheduling. In: STOC 1992, pp. 571–580 (1992)
4. Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-Stabilization By Local Checking and Correction. In: Proc. IEEE Symposium on the Foundations of Computer Science (FOCS), pp. 268–277 (1991)
5. Awerbuch, B., Varghese, G.: Distributed program checking: a paradigm for building self-stabilizing distributed protocols. In: IEEE Symp. on Foundations of Computer Science, pp. 258–267 (1991)