Concurrent common knowledge: Defining agreement for asynchronous systems
From MaRDI portal
Publication:1200914
DOI10.1007/BF02252679zbMath0773.68009MaRDI QIDQ1200914
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
68M10: Network design and communication in computer systems
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Reasoning about knowledge and messages in asynchronous multi-agent systems, The inhibition spectrum and the achievement of causal consistency, The power of logical clock abstractions, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Common knowledge revisited, Detecting causal relationships in distributed computations: In search of the holy grail, Common knowledge and update in finite environments, Causality in physics and computation, Classical Knowledge for Quantum Security
Cites Work
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- How processes learn
- Distributed deadlock detection
- Programming simultaneous actions using common knowledge
- Modelling knowledge and action in distributed systems
- A lattice-theoretical fixpoint theorem and its applications
- Knowledge and common knowledge in a distributed environment
- Checkpointing and Rollback-Recovery for Distributed Systems
- Distributed Termination
- Time, clocks, and the ordering of events in a distributed system