Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Keyword(s):
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637