1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
A Sufficient Epistemic Condition for Solving Stabilizing Agreement
Giorgio Cignarale, Stephan Felber, Hugo Rincon Galeana
In this paper we provide a first-ever epistemic formulation of stabilizing agreement, defined as the non-terminating variant of the well established consensus problem. In stabilizi…
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…