A little knowledge goes a long way
- 1 July 1992
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 39 (3) , 449-478
- https://doi.org/10.1145/146637.146638
Abstract
A high-level, knowledge-based approach for deriving a family of protocols for thesequence transmissionproblem 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.Keywords
This publication has 22 references indexed in Scilit:
- What can machines know?Journal of the ACM, 1992
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Programming simultaneous actions using common knowledgeAlgorithmica, 1988
- Using Reasoning About Knowledge to Analyze Distributed SystemsAnnual Review of Computer Science, 1987
- How processes learnDistributed Computing, 1986
- Modular Verification of Computer Communication ProtocolsIEEE Transactions on Communications, 1983
- From State Machines to Temporal Logic: Specification Methods for Protocol StandardsIEEE Transactions on Communications, 1982
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969