A little knowledge goes a long way

DOI10.1145/146637.146638zbMath0799.68024OpenAlexW2045478049MaRDI QIDQ4302799

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

protocolscorrectness proofsreasoning about knowledgeknowledge-based protocolsequence transmission problem

Mathematics Subject Classification ID

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

Related Items (19)

Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ Common knowledge and update in finite environments ⋮ Unnamed Item ⋮ The logic of gossiping ⋮ Priority scheduling of distributed systems based on model checking ⋮ Knowledge-based programs ⋮ A note on knowledge-based programs and specifications ⋮ Using counterfactuals in knowledge-based programming ⋮ A knowledge-based analysis of global function computation ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Logical classification of distributed algorithms (Bakery algorithms as an example) ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ Positive announcements ⋮ On Decidability of a Logic of Gossips ⋮ A model of reasoning about knowledge ⋮ Naming and identity in epistemic logic. II: A first-order logic for naming ⋮ Knowledge in shared memory systems. ⋮ Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality

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