Self-stabilization by local checking and correction (extended abstract), FOCS, pp.268-277, 1991. ,
Snap-stabilization and PIF in tree networks, Distributed Computing, vol.29, issue.1, pp.3-19, 2007. ,
DOI : 10.1007/s00446-007-0030-4
Snapstabilization in message-passing systems, Research Report, vol.6446, 2008. ,
Self-stabilizing systems in spite of distributed control, Commun. ACM, vol.17, issue.11, pp.643-644, 1974. ,