Gang Liu, Michael Sun, et al.
ICLR 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.
Gang Liu, Michael Sun, et al.
ICLR 2025
Yale Song, Zhen Wen, et al.
IJCAI 2013
Barry K. Rosen
SWAT 1972
Michael Muller, Anna Kantosalo, et al.
CHI 2024