David Carmel, Haggai Roitman, et al.
ACM TIST
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.
David Carmel, Haggai Roitman, et al.
ACM TIST
Ryan Johnson, Ippokratis Pandis
CIDR 2013
Hannah Kim, Celia Cintas, et al.
IJCAI 2023
Arnold.L. Rosenberg
Journal of the ACM