A little knowledge goes a long way

DOI10.1145/146637.146638MaRDI QIDQ4302799zbMATH OpenOpenAlexFDO

Authors Joseph Y. Halpern, Lenore D. Zuck

Publication date 13 November 1994

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/146637.146638

zbMATH Keywords

correctness proofsknowledge-based protocolprotocolsreasoning about knowledgesequence transmission problem

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A Simple Protocol Whose Proof Isn't
• An incremental specification of the sliding-window protocol
• scientific article; zbMATH DE number 3892605
• scientific article; zbMATH DE number 3958712
• The synthesis of communication protocols

Cited in

(21)

• A model of reasoning about knowledge
• Knowledge in shared memory systems.
• Common knowledge and update in finite environments
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality
• Bilattice logic of epistemic actions and knowledge
• Positive announcements
• The logic of gossiping
• On decidability of a logic of gossips
• Knowledge based scheduling of distributed systems
• Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic
• Priority scheduling of distributed systems based on model checking
• Self-similarity breeds resilience
• Knowledge-based programs
• A note on knowledge-based programs and specifications
• Using counterfactuals in knowledge-based programming
• Logical classification of distributed algorithms (Bakery algorithms as an example)
• A formalisation of violation, error recovery, and enforcement in the bit transmission problem
• Finite state implementations of knowledge-based programs (extended abstract)
• A knowledge-based analysis of global function computation
• A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems

This page was built for publication: A little knowledge goes a long way

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302799)