7 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
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…