J. Beauquier and J. Burman, Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering, OPODIS, pp.235-250, 2011.
DOI : 10.1007/978-3-642-25873-2_17
URL : https://hal.archives-ouvertes.fr/inria-00625838

C. Boulinier, F. Petit, and V. Villain, When graph theory helps selfstabilization, PODC, pp.150-159, 2004.

C. Boulinier, F. Petit, and V. Villain, Synchronous vs. Asynchronous Unison, Algorithmica, vol.38, issue.2, pp.61-80, 2008.
DOI : 10.1007/s00453-007-9066-x

E. James, J. K. Burns, and . Pachl, Uniform self-stabilizing rings, ACM Trans. Program. Lang. Syst, vol.11, issue.2, pp.330-344, 1989.

V. Chernoy, M. Shalom, and S. Zaks, A Self-stabilizing Algorithm with Tight Bounds for Mutual Exclusion on a Ring, DISC, pp.63-77, 2008.
DOI : 10.1007/978-3-540-87779-0_5

J. Couvreur, N. Francez, and M. G. Gouda, Asynchronous unison, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems, pp.486-493, 1992.
DOI : 10.1109/ICDCS.1992.235005

S. Devismes and F. Petit, On efficiency of unison, Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems, TADDS '12, pp.20-25, 2012.
DOI : 10.1145/2414815.2414820

W. Edsger and . Dijkstra, Self-stabilizing systems in spite of distributed control, Communication of ACM, vol.17, issue.11, pp.643-644, 1974.

S. Dubois and S. Tixeuil, A taxonomy of daemons in self-stabilization. CoRR, abs, 1110.
URL : https://hal.archives-ouvertes.fr/hal-00628390

P. Duchon, N. Hanusse, and S. Tixeuil, Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings, DISC, pp.216-229, 2004.
DOI : 10.1007/978-3-540-30186-8_16
URL : https://hal.archives-ouvertes.fr/hal-00307527

G. Mohamed, T. Gouda, and . Herman, Stabilizing unison, Information Processing Letters, vol.35, issue.4, pp.171-175, 1990.

R. Guerraoui, N. Knezevic, V. Quéma, and M. Vukolic, The next 700 bft protocols, EuroSys, pp.363-376, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00945717

R. Guerraoui, V. Kuncak, and G. Losa, Speculative linearizability, PLDI, pp.55-66, 2012.
DOI : 10.1145/2254064.2254072
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.7807

T. Herman, Probabilistic self-stabilization, Information Processing Letters, vol.35, issue.2, pp.63-67, 1990.
DOI : 10.1016/0020-0190(90)90107-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.4945

. Shing-tsaan, N. Huang, and . Chen, A self-stabilizing algorithm for constructing breadth-first trees, Information Processing Letters, vol.41, issue.2, pp.109-117, 1992.

P. Jayanti, Adaptive and efficient abortable mutual exclusion, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.295-304, 2003.
DOI : 10.1145/872035.872079

H. Kakugawa and M. Yamashita, Uniform and self-stabilizing token rings allowing unfair daemon, IEEE Transactions on Parallel and Distributed Systems, vol.8, issue.2, pp.154-162, 1997.
DOI : 10.1109/71.577257

H. Kakugawa and M. Yamashita, Uniform and Self-Stabilizing Fair Mutual Exclusion on Unidirectional Rings under Unfair Distributed Daemon, Journal of Parallel and Distributed Computing, vol.62, issue.5, pp.885-898, 2002.
DOI : 10.1006/jpdc.2001.1831

W. Butler and . Lampson, Lazy and speculative execution in computer systems, In ICFP, pp.1-2, 2008.

F. Manne, M. Mjelde, L. Pilard, and S. Tixeuil, A new self-stabilizing maximal matching algorithm, Theoretical Computer Science, vol.410, issue.14, pp.1336-1345, 2009.
DOI : 10.1016/j.tcs.2008.12.022
URL : https://hal.archives-ouvertes.fr/inria-00127899

F. Pedone, Boosting system performance with optimistic distributed protocols, Computer, vol.34, issue.12, pp.80-86, 2001.
DOI : 10.1109/2.970581

S. Tixeuil, Algorithms and Theory of Computation Handbook, Second Edition, chapter Self-stabilizing Algorithms Chapman & Hall/CRC Applied Algorithms and Data Structures, pp.26-27, 2009.