Local Checking and Correction

In this work we introduce the first self-stabilizing end-to-end communication protocol, and the most efficient known self-stabilizing network reset protocol. We use a simple method of local checking and correction, by which distributed protocols can be made self-stabilizing without the use of unbounded counters.


Click here for proceedings version.