Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
- 1 July 2000
- journal article
- research article
- Published by Springer Nature in Distributed Computing
- Vol. 13 (3) , 155-186
- https://doi.org/10.1007/pl00008917
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: