Epistemic Protocols for Distributed Gossiping

June 24, 2016 Β· Declared Dead Β· πŸ› Theoretical Aspects of Rationality and Knowledge

πŸ‘» CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek arXiv ID 1606.07516 Category cs.AI: Artificial Intelligence Cross-listed cs.DC, cs.LO, cs.MA Citations 39 Venue Theoretical Aspects of Rationality and Knowledge Last Checked 4 months ago
Abstract
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protocols for complete graphs and for directed rings.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

πŸ“œ Similar Papers

In the same crypt β€” Artificial Intelligence

Died the same way β€” πŸ‘» Ghosted