5 citations · 10 across the 11 of their papers we have counts for
1 paper · 1 filter
Camille Coti, Charles Lakos, Laure Petrucci
This paper presents the benefits of formal modelling and verification techniques for self-stabilising distributed algorithms. An algorithm is studied, that takes a set of processes…