48.3LOMay 7
Self-Correcting Gossip ProtocolsGiorgio Cignarale, Hans van Ditmarsch, Stephan Felber et al.
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 authority coordinating protocol execution, how this affects optimality, and how this compares to bounded memory and full information protocols.