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

by B Awerbuch, G Varghese
Venue:In FOCS91 Proceedings of the 32th Annual IEEE Symposium on Foundations of Computer Science