Self-Stabilizing Systems in Spite of Distributed Control (1974)

by E W Dijkstra
Venue:Commun. ACM