Y. Afek and A. Bremler, Self-stabilizing unidirectional network algorithms by power supply, Chicago Journal of Theoretical Computer Science, issue.3, 1998.

Y. Afek and G. Brown, Self-stabilization over unreliable communication media, Distributed Computing, pp.27-34, 1993.
DOI : 10.1007/BF02278853

F. B. Bowen-alpern and . Schneider, Defining liveness, Information Processing Letters, vol.21, issue.4, pp.181-185, 1985.
DOI : 10.1016/0020-0190(85)90056-0

F. B. Bowen-alpern and . Schneider, Recognizing safety and liveness, Distributed Computing, pp.117-126, 1987.

A. Arora and M. Nesterenko, Unifying stabilization and termination in message-passing systems, Distributed Computing, vol.17, issue.3, pp.279-290, 2005.
DOI : 10.1007/s00446-004-0111-6

B. Awerbuch, G. Patt-shamir, and . Varghese, Self-stabilization by local checking and correction, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, pp.268-277, 1991.
DOI : 10.1109/SFCS.1991.185378

B. Awerbuch, S. Kutten, Y. Mansour, B. Patt-shamir, and G. Varghese, A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock, IEEE Transactions on Dependable and Secure Computing, vol.4, issue.3, pp.180-190, 2007.
DOI : 10.1109/TDSC.2007.1007

D. Bein, A. Kumar-datta, and V. Villain, Snap-Stabilizing Optimal Binary Search Tree, Self-Stabilizing Systems, pp.1-17, 2005.
DOI : 10.1007/11577327_1

L. Blin, V. Cournier, and . Villain, An Improved Snap-Stabilizing PIF Algorithm, DSN SSS'03 Workshop: Sixth Symposium on Self-Stabilizing Systems (SSS'03), pp.199-214, 2003.
DOI : 10.1007/3-540-45032-7_15
URL : https://hal.archives-ouvertes.fr/hal-01310823

A. Bui, . Datta, V. Petit, and . Villain, Snap-stabilizing PIF algorithm in tree networks without sense of direction, SIROCCO'99, The 6th International Colloquium On Structural Information and Communication Complexity Proceedings, pp.32-46, 1999.

A. Bui, . Datta, V. Petit, and . Villain, State-optimal snap-stabilizing PIF in tree networks, Proceedings 19th IEEE International Conference on Distributed Computing Systems, pp.78-85, 1999.
DOI : 10.1109/SLFSTB.1999.777490

A. Bui, A. Kumar-datta, F. Petit, and V. Villain, Snap-stabilization and PIF in tree networks, Distributed Computing, vol.29, issue.1, pp.3-19, 2007.
DOI : 10.1007/s00446-007-0030-4

E. Chang, Echo Algorithms: Depth Parallel Operations on General Graphs, IEEE Transactions on Software Engineering, vol.8, issue.4, pp.391-401, 1982.
DOI : 10.1109/TSE.1982.235573

A. Cournier, . Datta, V. Petit, and . Villain, Snap-stabilizing PIF algorithm in arbitrary rooted networks, 22st International Conference on Distributed Computing Systems (ICDCS-22), pp.199-206, 2002.

A. Cournier, . Datta, V. Petit, and . Villain, Enabling snap-stabilization, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings., pp.12-19, 2003.
DOI : 10.1109/ICDCS.2003.1203447

A. Cournier, . Devismes, V. Petit, and . Villain, Snap-Stabilizing Depth-First Search on Arbitrary Networks, The Computer Journal, vol.49, issue.3, pp.268-280, 2006.
DOI : 10.1093/comjnl/bxh154

A. Cournier, V. Devismes, and . Villain, Snap-Stabilizing Detection of Cutsets, HIPC 2005, 12th Annual IEEE Conference on High Performance Computing, pp.488-497, 2005.
DOI : 10.1007/11602569_50

A. Cournier, V. Devismes, and . Villain, A Snap-Stabilizing DFS with a Lower Space Requirement, Seventh International Symposium on Self-Stabilizing Systems (SSS'05), pp.33-47, 2005.
DOI : 10.1007/11577327_3

A. Cournier, V. Devismes, and . Villain, Snap-stabilizing PIF and useless computations, 12th International Conference on Parallel and Distributed Systems, (ICPADS'06), pp.39-46, 2006.
DOI : 10.1109/ICPADS.2006.100

A. Cournier, A. Kumar-datta, F. Petit, and V. Villain, Optimal snapstabilizing pif algorithms in un-oriented trees, High Speed Networks, pp.185-200, 2005.

A. Cournier, S. Devismes, and V. Villain, Light enabling snapstabilization, ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2007.

S. Delaët, B. Ducourthial, and S. Tixeuil, Self-stabilization with r-operators revisited, Journal of Aerospace Computing, Information, and Communication, 2006.

E. Dijkstra, Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, pp.643-644, 1974.

S. Dolev and T. Herman, SuperStabilizing protocols for dynamic distributed systems, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing , PODC '95, 1997.
DOI : 10.1145/224964.224993

S. Ghosh, . Gupta, S. Herman, and . Pemmaraju, Fault-containing self-stabilizing distributed protocols, Distributed Computing, vol.25, issue.59, 2000.
DOI : 10.1007/s00446-007-0032-2

G. Mohamed, N. J. Gouda, and . Multari, Stabilizing communication protocols, IEEE Trans. Computers, vol.40, issue.4, pp.448-458, 1991.

R. R. Howell, M. Nesterenko, and M. Mizuno, Finite-state selfstabilizing protocols in message-passing systems

C. Johnen, L. Alima, A. K. Datta, and S. Tixeuil, Optimal snapstabilizing neighborhood synchronizer in tree networks, Parallel Processing Letters, vol.12, pp.3-4327, 2002.

S. Katz and K. Perry, Self-stabilizing extensions for message-passing systems, Proceedings of the ninth annual ACM symposium on Principles of distributed computing , PODC '90, pp.17-26, 1993.
DOI : 10.1145/93385.93405

F. Petit and V. Villain, Optimal snap-stabilizing depth-first token circulation in tree networks, Journal of Parallel and Distributed Computing, vol.67, issue.1, pp.1-12, 2007.
DOI : 10.1016/j.jpdc.2006.08.008

A. Segall, Distributed network protocols, IEEE Transactions on Information Theory, vol.29, issue.1, pp.23-35, 1983.
DOI : 10.1109/TIT.1983.1056620

G. Tel, Introduction to distributed algorithms, 2001.
DOI : 10.1017/CBO9781139168724
URL : http://dx.doi.org/10.1016/s0898-1221(97)90063-8

G. Varghese, Self-Stabilization by Counter Flushing, SIAM Journal on Computing, vol.30, issue.2, pp.486-510, 2000.
DOI : 10.1137/S009753979732760X

I. Unité-de-recherche, . Lorraine, . Loria, and . Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex