Parallel algorithms and applications · 1997 · 12 citations · 13 references
ComputingComputer ScienceAlgorithmsDistributed SystemsFault-tolerant ComputingDistributed AlgorithmsDistributed ComputingGraph AlgorithmsSelf-stabilizing SystemsDistributed Algorithm VerificationGlobal StateMathematical Induction ProofsSelf-stabilizing AlgorithmsSelf-stabilizing Distributed Algorithms
We propose a simple and elegant distributed self-stabilizing algorithm to find the center of an arbitrary tree graph. The algorithm is uniform over all nodes of the tree. We prove the self-stabilization of the distributed algorithm using mathematical induction; we did not need to design a bounded function on the global state (which is customary for proving correctness of self-stabilizing algorithms).
13
Self-stabilizing systems in spite of distributed control
Edsger W. Dijkstra · Communications of the ACM · 1974 · 2.1K citations · Full text
A belated proof of self-stabilization
Edsger W. Dijkstra · Distributed Computing · 1986 · 130 citations
Self-stabilizing depth-first search
Zeev Collin, Shlomi Dolev · Information Processing Letters · 1994 · 126 citations
Token systems that self-stabilize
Gavin M. Brown, Mohamed G. Gouda, Changshun Wu · IEEE Transactions on Computers · 1989 · 122 citations