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.
for proceedings version.