Self-stabilizing mutual exclusion on a ring, even if K=N
arXiv:cs/9909013
Abstract
We show that, contrary to common belief, Dijkstra's self-stabilizing mutual exclusion algorithm on a ring [Dij74,Dij82] also stabilizes when the number of states per node is one less than the number of nodes on the ring.
2 pages