Daniel Karl I. Weidele, Hendrik Strobelt, et al.
SysML 2019
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.
Daniel Karl I. Weidele, Hendrik Strobelt, et al.
SysML 2019
Benjamin N. Grosof
AAAI-SS 1993
Pavel Klavík, A. Cristiano I. Malossi, et al.
Philos. Trans. R. Soc. A
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999