Baruch Awerbuch, George Varghese. Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract). In 32nd Annual Symposium on Foundations of Computer Science, 1-4 October 1991, San Juan, Puerto Rico. pages 258-267, IEEE, 1991.
@inproceedings{AwerbuchV91,
title = {Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols (Extended Abstract)},
author = {Baruch Awerbuch and George Varghese},
year = {1991},
tags = {protocol, programming paradigms},
researchr = {https://researchr.org/publication/AwerbuchV91},
cites = {0},
citedby = {0},
pages = {258-267},
booktitle = {32nd Annual Symposium on Foundations of Computer Science, 1-4 October 1991, San Juan, Puerto Rico},
publisher = {IEEE},
}