More recently, researchers have presented newer methods for light-weight error detection for self-stabilizing systems using local checking [REF].
Additional efficiency was introduced with the notion of time-adaptive protocols [REF].