An extended framework of safe stabilization, Computers and Their Applications, pp.276-282, 2006. ,
State-optimal snapstabilizing pif in tree networks, Arora [1], pp.78-85 ,
The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984. ,
DOI : 10.1145/1780.1804
Echo algorithms: Depth parallel operations on general graphs, IEEE Transactions on Software Engineering, vol.8, issue.4, pp.391-401, 1982. ,
Brief announcement: Snap-stabilization in message-passing systems, Principles of Distributed Computing, 2008. ,
Cooperating Sequential Processes, pp.43-112, 1968. ,
DOI : 10.1007/978-1-4757-3472-0_2
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
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
Safety assurance via on-line monitoring, Distributed Computing, pp.269-277, 2003. ,
A Framework of Safe Stabilization, Self-Stabilizing Systems, pp.129-140, 2003. ,
DOI : 10.1007/3-540-45032-7_10
Fault-containing self-stabilizing algorithms, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing , PODC '96, pp.45-54, 1996. ,
DOI : 10.1145/248052.248057
The alternator, Arora [1], pp.48-53 ,
Conflict Managers for Self-stabilization without Fairness Assumption, 27th International Conference on Distributed Computing Systems (ICDCS '07), p.46, 2007. ,
DOI : 10.1109/ICDCS.2007.95
URL : https://hal.archives-ouvertes.fr/hal-01336216
Error-detecting codes and fault-containing self-stabilization, Information Processing Letters, vol.73, issue.1-2, pp.41-46, 2000. ,
DOI : 10.1016/S0020-0190(99)00164-7
Finite-state self-stabilizing protocols in message-passing systems, Arora [1], pp.62-69 ,
Observing self-stabilization, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing , PODC '92, pp.113-123, 1992. ,
DOI : 10.1145/135419.135444
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.9230
Algorithms and Theory of Computation Handbook, Second Edition, chapter Self-stabilizing Algorithms. Chapman & Hall/CRC Applied Algorithms and Data Structures, 2009. ,