A belated proof of self-stabilization (1986)

by E W Dijkstra
Venue:Distributed Computing