A self-stabilizing leader election algorithm for tree graphs

A New Rewrite Method for Convergence of Self-Stabilizing Systems

Proceedings of the 13th International Symposium on Distributed Computing

Efficient Self-stabilizing Algorithms for Tree Networks

ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems

A Decentralized Convergence Detection Algorithm for Asynchronous Parallel Iterative Algorithms

IEEE Transactions on Parallel and Distributed Systems

Proving convergence of self-stabilizing systems using first-order rewriting and regular languages

Distributed Computing

Self-Stabilizing Anonymous Leader Election in a Tree

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09

Self-stabilizing leader election for single-hop wireless networks despite jamming

MobiHoc '11 Proceedings of the Twelfth ACM International Symposium on Mobile Ad Hoc Networking and Computing