Abstract
We use a high-level, knowledge-based approach for deriving a family of protocols for the sequence transmission problem. The protocols of Aho, Ullman, and Yannakakis [AUY79, AUWY82], the Alternating Bit protocol [BSW69], and Stenning's protocol [Ste76] are all instances of one of the knowledge-based protocols that we derive. Our derivation leads to easy and uniform correctness proofs for all these protocols.
Cite
CITATION STYLE
Halpern, J. Y., & Zuck, L. D. (1987). A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (Vol. Part F130235, pp. 269–280). Association for Computing Machinery. https://doi.org/10.1145/41840.41863
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
