--
Gabriel Le Bouder
(LIP6)
summary: Self-stabilization is a suitable paradigm for distributed systems,
particularly prone to transient faults. Errors such as memory or messages corruption,
break of a communication link, can put the system in an inconsistent state.
A protocol is self-stabilizing if, whatever the initial state of the system,
it guarantees that it ...
