A Self-Stabilizing Leader Election Algor
β
Gheorghe Antonoiu; Pradip K. Srimani
π
Article
π
1996
π
Elsevier Science
π
English
β 231 KB
We propose a self-stabilizing algorithm (protocol) for leader election in a tree graph. We show the correctness of the proposed algorithm by using a new technique involving induction.