✦ LIBER ✦

[Lecture Notes in Computer Science] Theory and Practice in Distributed Systems Volume 938 || Correctness proofs of distributed algorithms

✍ Scribed by Birman, Kenneth P.; Mattern, Friedemann; Schiper, André

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Adva

✍ Krakowiak, Sacha; Shrivastava, Santosh 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 634 KB

[Lecture Notes in Computer Science] Dist

✍ Schiper, André 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 454 KB

[Lecture Notes in Computer Science] Comp

✍ Kopacek, Peter; Moreno-Díaz, Roberto; Pichler, Franz 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 657 KB

[Lecture Notes in Computer Science] Dist

✍ Leeuwen, Jan; Santoro, Nicola 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 833 KB

[Lecture Notes in Computer Science] Comp

✍ van Leeuwen, Jan 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 676 KB

[Lecture Notes in Computer Science] CONC

✍ Montanari, Ugo; Sassone, Vladimiro 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 719 KB