3 papers
cs.DC2023
Better Sooner Rather Than Later
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
This article unifies and generalizes fundamental results related to -process asynchronous crash-prone distributed computing. More precisely, it proves that for every $0\leq k \l…
cs.DC2020
Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links
Lélia Blin, Anaïs Durand, Sébastien Tixeuil
Self-stabilizing protocols enable distributed systems to recover correct behavior starting from any arbitrary configuration. In particular, when processors communicate by message p…
cs.DC2018
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
Karine Altisen, Stéphane Devismes, Anaïs Durand
In this paper, we formalize design patterns, commonly used in the self-stabilizing area, to obtain general statements regarding both correctness and time complexity guarantees. Pre…