Self-stabilization of dynamic systems assuming only read/write atomicity

Self-stabilizing systems in spite of distributed control

Edsger W. Dijkstra · Communications of the ACM · 1974 · 2.1K citations · Full text

Computing, Computer Science, Computer Systems +17

Token management schemes and random walks yield self-stabilizing mutual exclusion

Amos Israeli, Marc Jalfon · 1990 · 246 citations · Full text

Computing, Computer Engineering, Computer Science +9

Uniform self-stabilizing rings

J. Burns, Jan Pachl · ACM Transactions on Programming Languages and Systems · 1989 · 172 citations · Full text

Computing, Computer Science, Computer Systems +8

A belated proof of self-stabilization

Edsger W. Dijkstra · Distributed Computing · 1986 · 130 citations

Computing, Computer Science, Mathematics +10

A correctness proof of a topology information maintenance protocol for a distributed computer network

William Djohansjah Tajibnapis · Communications of the ACM · 1977 · 106 citations · Full text

Computing, Computer Engineering, Computer Science +17