Paul G. Comba
Journal of the ACM
A high-level, knowledge-based approach for deriving a family of protocols for the sequence transmission problem is presented. The protocols of Aho et al. [2, 3], the Alternating Bit protocol [5], and Stenning's protocol [44] are all instances of one knowledge-based protocol that is derived. The derivation in this paper leads to transparent and uniform correctness proofs for all these protocols. © 1992, ACM. All rights reserved.
Paul G. Comba
Journal of the ACM
Freddy Lécué, Jeff Z. Pan
IJCAI 2013
Joseph Y. Halpern
Journal of Philosophical Logic
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011