A belated proof of self-stabilization (1986)

by E Dijkstra
Venue:Distributed Computing