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…