The following pages link to (Q4818871):
Displaying 4 items.
- Efficient execution of nondeterministic parallel programs on asynchronous systems (Q1383149) (← links)
- Efficient low-contention asynchronous consensus with the value-oblivious adversary scheduler (Q1953239) (← links)
- Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study (Q5137903) (← links)
- Randomized protocols for asynchronous consensus (Q5138489) (← links)
