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. We consider distributed gossip protocols, building upon the recent work of Attamah, Van Ditmarsch, Grossi and Van der Hoek. These protocols are expressed by means of epistemic logic (for instance by statements such as `if I do not know whether agent i knows my secret I communicate it to him’).
We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protocols both for a ring and for complete graphs. This is a joint work with Wiebe van der Hoek and Davide Grossi.
Webpage
For more information about Krzysztof have a look at http://homepages.cwi.nl/~apt/
Google Scholar
Some more info about Krzysztof’s work http://scholar.google.co.uk/citations?user=80M1xD0AAAAJ&hl=en
Drinks after at Huxley 4th floor staff Common Room