This paper presents a recovery algorithm for self-stabilizing communication protocols. It first describes some concepts and a formal description method for the algorithm. Then it proposes the algorithm procedures, proves its correctness and analyses its complexity. Finally, it also verifies the availability and efficiency of the algorithm by illustrating an example protocol with multi-processes.
Published in:
Systems Engineering and Electronics, Journal of
(Volume:11
,
Issue:
1
)
Date of Publication: March 2000