Treffer: The correctness proof of Ben-Or’s randomized consensus algorithm

Title:
The correctness proof of Ben-Or’s randomized consensus algorithm
Source:
DISTRIBUTED COMPUTING. 25(5):371-381
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings