Verification of Distributed Epistemic Gossip Protocols

Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2018) Verification of Distributed Epistemic Gossip Protocols. Journal of Artificial Intelligence Research, 62. pp. 101-133.

Text
aw18-elements.pdf - Author Accepted Manuscript
Download (518kB)

Official URL: https://jair.org/index.php/jair/article/view/11204

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 secrets. Distributed epistemic gossip protocols use as guards formulas from a simple epistemic logic and as statements calls between the agents. They are natural examples of knowledge based programs. We prove here that these protocols are implementable, that their partial correctness is decidable and that termination and two forms of fair termination of these protocols are decidable, as well. To establish these results we show that the definition of semantics and of truth of the underlying logic are decidable.

Item Type:	Article
Depositing User:	Symplectic Admin
Date Deposited:	17 May 2018 06:25
Last Modified:	19 Jan 2023 06:33
DOI:	10.1613/jair.1.11204
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3021364