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...

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	Cignarale, Giorgio, van Ditmarsch, Hans, Felber, Stephan, Gattinger, Malvin, Galeana, Hugo Rincon, Sundararajan, Vaishnavi
Format:	Artykuł
Wydane:	2026
Hasła przedmiotowe:	Logic in Computer Science Distributed, Parallel, and Cluster Computing
Dostęp online:	https://arxiv.org/abs/2605.05801 http://arxiv.org/abs/2605.05801
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!