Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)

Baruch Awerbuch, George Varghese

Browse the full FOCS paper archive.