4 citations · 11 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.DC2020★ 2 cited
On Linearizability and the Termination of Randomized Algorithms
Vassos Hadzilacos, Xing Hu, Sam Toueg
We study the question of whether the "termination with probability 1" property of a randomized algorithm is preserved when one replaces the atomic registers that the algorithm uses…
cs.DC2020★ 2 cited
Randomized Consensus with Regular Registers
Vassos Hadzilacos, Xing Hu, Sam Toueg
The well-known randomized consensus algorithm by Aspnes and Herlihy for asynchronous shared-memory systems was proved to work, even against a strong adversary, under the assumption…