Shashank Ahire, Melissa Guyre, et al.
CUI 2025
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.
Shashank Ahire, Melissa Guyre, et al.
CUI 2025
Imran Nasim, Melanie Weber
SCML 2024
P.C. Yue, C.K. Wong
Journal of the ACM
Ronen Feldman, Martin Charles Golumbic
Ann. Math. Artif. Intell.