38 citations · 45 across the 4 of their papers we have counts for
1 paper · 1 filter
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…