1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
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…