Self-Correcting Gossip Protocols

We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we propose a dynamic epistemic logic. We show how to correct transmission errors due to faulty messages without a central...

Full beskrivning

Bibliografiska uppgifter

Huvudupphov:	Cignarale, Giorgio, van Ditmarsch, Hans, Felber, Stephan, Gattinger, Malvin, Galeana, Hugo Rincon, Sundararajan, Vaishnavi
Materialtyp:	Artikel
Utgiven:	2026
Ämnen:	Logic in Computer Science Distributed, Parallel, and Cluster Computing
Länkar:	https://arxiv.org/abs/2605.05801 http://arxiv.org/abs/2605.05801
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!