Work

Epistemic Protocols for Distributed Gossiping

Year: 2016

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.215.5

Authors: Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek

Institutions: Centrum Wiskunde & Informatica, University of Liverpool

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: University of Liverpool, Uniwersytet Warszawski

OpenAlex ID: W2461809157

FWCI: 5.482

Cites: 21

Cited by: 36

Related to: 10