Concurrent common knowledge: Defining agreement for asynchronous systems
From MaRDI portal
Publication:1200914
DOI10.1007/BF02252679zbMath0773.68009OpenAlexW2094013177MaRDI 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
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (10)
Detecting causal relationships in distributed computations: In search of the holy grail ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ Common knowledge and update in finite environments ⋮ Common Knowledge, Common Attitudes and Social Reasoning ⋮ The inhibition spectrum and the achievement of causal consistency ⋮ The power of logical clock abstractions ⋮ Causality in physics and computation ⋮ Classical Knowledge for Quantum Security ⋮ Common knowledge revisited
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
This page was built for publication: Concurrent common knowledge: Defining agreement for asynchronous systems
