1. Local stabilizer;Afek;Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems,1997
2. Transient fault detectors;Beauquier;DISC’98,,1998
3. Optimal reactive k-stabilization: The case of mutual exclusion;Beauquier;Proceedings of the 18th Annual Symposium on Principles of Distributed Computing,1999
4. A self-stabilizing algorithm for constructing spanning trees;Chen;Inform. Process. Lett.,1991
5. Superstabilizing protocols for dynamic distributed systems;Dolev;Chicago J. Theoret. Comput. Sci.,1997