5 papers
Self-Correcting Gossip Protocols
Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber +3
We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we…
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, Eric Goubault +2
In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with…
A Sheaf-Theoretic Characterization of Tasks in Distributed Systems
Stephan Felber, Bernardo Hummes Flores, Hugo Rincon Galeana
We introduce a sheaf-theoretic characterization of task solvability in general distributed computing models, unifying distinct approaches to message-passing models. We establish ce…
Topological Characterization of Stabilizing Consensus
Ulrich Schmid, Stephan Felber, Hugo Rincon-Galeana
We provide a complete characterization of the solvability/impossibility of deterministic stabilizing consensus in any computing model with benign process and communication faults u…
Stabilizing Consensus is Impossible in Lossy Iterated Immediate Snapshot Models
Stephan Felber, Hugo Rincon Galeana
A substantial portion of distributed computing research is dedicated to terminating problems like consensus and similar agreement problems. However, non-terminating problems have b…