Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita

Self-stabilization is a strong property that guarantees that a network always resume correct behavior starting from an arbitrary initial state. Weaker guarantees have later been in…