activity
20122016
most citedSome Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs

5 citations · 10 across the 7 of their papers we have counts for

collaborators
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

Group Mutual Exclusion in Linear Time and Space

Yuan He, Krishnan Gopalakrishnan, Eli Gafni

We present two algorithms for the Group Mutual Exclusion (GME) Problem that satisfy the properties of Mutual Exclusion, Starvation Freedom, Bounded Exit, Concurrent Entry and First…