Ben-Or's randomized consensus algorithm

GPTKB entity