Distributed program checking: a paradigm for building self-stabilizing distributed protocols (1991)

by B Awerbuch, G Varghese
Venue:Proceedings of 31st Annual IEEE Symposium on Foundations of Computer Science