Zhikun Yuen, Paula Branco, et al.
DSAA 2023
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.
Zhikun Yuen, Paula Branco, et al.
DSAA 2023
C.A. Micchelli, W.L. Miranker
Journal of the ACM
Joxan Jaffar
Journal of the ACM
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988