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
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Liya Fan, Fa Zhang, et al.
JPDC
Michael Muller, Anna Kantosalo, et al.
CHI 2024