On implementing omega with weak reliability and synchrony assumptions, PODC, pp.306-314, 2003. ,
Communication-efficient leader election and consensus with limited link synchrony, PODC, pp.328-337, 2004. ,
Self-stabilization by local checking and correction (extended abstract), FOCS, pp.268-277, 1991. ,
DOI : 10.1109/sfcs.1991.185378
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.8704
Self-stabilization by local checking and global reset, Distributed Algorithms, 8th International Workshop, WDAG '94, pp.326-339, 1994. ,
DOI : 10.1007/BFb0020443
Shlomi Dolev, and Sébastien Tixeuil. Transient fault detectors, Distributed Computing, pp.39-51, 2007. ,
Tight bounds on maximal and maximum matchings, Discrete Mathematics, vol.285, pp.1-37, 2004. ,
DOI : 10.1007/3-540-45678-3_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.6074
Robust Stabilizing Leader Election, SSS, pp.219-233, 2007. ,
DOI : 10.1007/978-3-540-76627-8_18
URL : https://hal.archives-ouvertes.fr/hal-00167935
Self-stabilizing systems in spite of distributed control, Commun. ACM, vol.17, issue.11, pp.643-644, 1974. ,
Self Stabilization, Journal of Aerospace Computing, Information, and Communication, vol.1, issue.6, 2000. ,
DOI : 10.2514/1.10141
URL : https://hal.archives-ouvertes.fr/inria-00627780
Memory requirements for silent stabilization, Acta Informatica, vol.36, issue.6, pp.447-462, 1999. ,
DOI : 10.1007/s002360050180
Resource Bounds for Self-Stabilizing Message-Driven Protocols, SIAM Journal on Computing, vol.26, issue.1, pp.273-290, 1997. ,
DOI : 10.1137/S0097539792235074
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.9936
Self-stabilizing vertex coloring of arbitrary graphs, International Conference on Principles of Distributed Systems (OPODIS'2000), pp.55-70, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00631707
A space-optimal selfstabilizing algorithm for the maximal independent set problem, the Third International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp.70-74, 2002. ,
Token management schemes and random walks yield self-stabilizing mutual exclusion, Proceedings of the ninth annual ACM symposium on Principles of distributed computing , PODC '90, pp.119-131, 1990. ,
DOI : 10.1145/93385.93409
Self-stabilizing extensions for meassage-passing systems, Distributed Computing, vol.33, issue.2, pp.17-26, 1993. ,
DOI : 10.1007/BF02278852
Optimal implementation of the weakest failure detector for solving consensus, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, pp.52-59, 2000. ,
DOI : 10.1109/RELDI.2000.885392
A new self-stabilizing maximal matching algorithm, Proceedings of the 14 th International Colloquium on Structural Information and Communication Complexity, pp.96-108, 2007. ,
DOI : 10.1016/j.tcs.2008.12.022
URL : https://hal.archives-ouvertes.fr/inria-00127899
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 ,