✦ LIBER ✦

[Lecture Notes in Computer Science] CONCUR 2001 — Concurrency Theory Volume 2154 || Compositional Methods for Probabilistic Systems

✍ Scribed by Larsen, Kim G.; Nielsen, Mogens

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] CONC

✍ Larsen, Kim G.; Nielsen, Mogens 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 290 KB

[Lecture Notes in Computer Science] CONC

✍ Bravetti, Mario; Zavattaro, Gianluigi 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 151 KB

[Lecture Notes in Computer Science] CONC

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

[Lecture Notes in Computer Science] CONC

✍ Mazurkiewicz, Antoni; Winkowski, Józef 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 887 KB

[Lecture Notes in Computer Science] CONC

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

[Lecture Notes in Computer Science] CONC

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