✦ LIBER ✦

[Lecture Notes in Computer Science] CONCUR '96: Concurrency Theory Volume 1119 || Modelling and verification of Distributed Algorithms

✍ Scribed by Montanari, Ugo; Sassone, Vladimiro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] CONC

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

[Lecture Notes in Computer Science] CONC

✍ Gastin, Paul; Laroussinie, François 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 291 KB

[Lecture Notes in Computer Science] Theo

✍ Birman, Kenneth P.; Mattern, Friedemann; Schiper, André 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 594 KB

[Lecture Notes in Computer Science] Algo

✍ Kanchanasut, Kanchana; Lévy, Jean-Jacques 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 764 KB

[Lecture Notes in Computer Science] Comp

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

[Lecture Notes in Computer Science] Conc

✍ Degano, Pierpaolo; De Nicola, Rocco; Meseguer, José 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 479 KB