Concurrent common knowledge: Defining agreement for asynchronous systems

DOI10.1007/BF02252679MaRDI QIDQ1200914zbMATH OpenOpenAlexFDO

Authors Prakash Panangaden, Kim Taylor

Publication date 16 January 1993

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02252679

zbMATH Keywords

distributed systemsmodal logicasynchronous communicationagreement protocols

Mathematics Subject Classification ID

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

Recommendations

• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• Common knowledge and consistent simultaneous coordination
• scientific article; zbMATH DE number 2080227
• Knowledge and common knowledge in a distributed environment
• Knowledge and common knowledge in a Byzantine environment: Crash failures

Cites work

• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Checkpointing and Rollback-Recovery for Distributed Systems
• Distributed Termination
• Distributed deadlock detection
• How processes learn
• Knowledge and common knowledge in a distributed environment
• Modelling knowledge and action in distributed systems
• Programming simultaneous actions using common knowledge
• Results on the propositional \(\mu\)-calculus
• Time, clocks, and the ordering of events in a distributed system

Cited in

(13)

• Reasoning about Knowledge in Asynchronous Distributed Systems
• Common knowledge revisited
• The power of logical clock abstractions
• Causality in physics and computation
• The inhibition spectrum and the achievement of causal consistency
• Common Knowledge, Common Attitudes and Social Reasoning
• Reasoning about knowledge and messages in asynchronous multi-agent systems
• Common knowledge and update in finite environments
• Classical knowledge for quantum security
• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• Detecting causal relationships in distributed computations: In search of the holy grail
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Common ground in non-face-to-face communication: \textit{in sensu diviso} or \textit{in sensu composito}

This page was built for publication: Concurrent common knowledge: Defining agreement for asynchronous systems

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