✦ LIBER ✦

On the proof of a distributed algorithm

✍ Scribed by J.Pierre Verjus

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on “on the proof of a distribut

✍ A.J.M. Van Gasteren; G. Tel 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 239 KB

Algebraic specification and proof of a d

✍ He Jifeng; C. A. R. Hoare 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 894 KB

A distributed deadlock detection and res

✍ Elmagarmid, A.K.; Soundararajan, N.; Liu, M.T. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 907 KB

On a proof of a Robbins-Monro algorithm

✍ Y. Wardi 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 58 KB

Comments on “a distributed algorithm for

✍ G. Tel; J. Van Leeuwen 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 78 KB

A short proof of the Oslo algorithm

✍ Hartmut Prautzsch 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 73 KB