61 citations · 124 across the 15 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DC2015★ 3 cited
The Relative Power of Composite Loop Agreement Tasks
Maurice Herlihy, Vikram Saraph
Loop agreement is a family of wait-free tasks that includes set agreement and simplex agreement, and was used to prove the undecidability of wait-free solvability of distributed ta…
cs.DC2015★ 1 cited
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems
Hammurabi Mendes, Maurice Herlihy
In this paper, we show that the protocol complex of a Byzantine synchronous system can remain -connected for up to rounds, where is the maximum num…