✦ LIBER ✦

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

✍ Scribed by Marcos K. Aguilera, Sam Toueg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correctness proof for the majority conse

✍ A. Ravichandran; R.K. Shyamasundar 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 781 KB

A complete proof of correctness of the K

✍ Gérard Huet 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 709 KB

The chaos game revisited: Yet another, b

✍ Tomasz Martyn 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 199 KB

Verification of the randomized consensus

✍ Anna Pogosyants; Roberto Segala; Nancy Lynch 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 436 KB

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views