17 citations · 29 across the 16 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.DC2014★ 4 cited
Snapshot for Time: The One-Shot Case
Eli Gafni
We show that for one-shot problems - problems where a processor executes a single operation-execution - timing constraints can be captured by conditions on the relation between ori…
cs.DC2014
Set Consensus: Captured by a Set of Runs with Ramifications
Eli Gafni
Are (set)-consensus objects necessary? This paper answer is negative. We show that the availability of consensus objects can be replaced by restricting the set of runs we consider.…
cs.DC2014
Strong Equivalence Relations for Iterated Models
Zohir Bouzid, Eli Gafni, Petr Kuznetsov
The Iterated Immediate Snapshot model (IIS), due to its elegant geometrical representation, has become standard for applying topological reasoning to distributed computing. Its mod…