𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 5522 || On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

✍ Scribed by Lee, David; Lopes, Antónia; Poetzsch-Heffter, Arnd

Book ID
120232302
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
316 KB
Category
Article
ISBN
3642021387

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Fuzzy-Timed Automata
✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || A Formal Model for Fault-Tolerance in Distributed Systems
✍ Winther, Rune; Gran, Bjørn Axel; Dahll, Gustav 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 220 KB

This Book Constitutes The Refereed Proceedings Of The 24th International Conference On Computer Safety, Reliability, And Security, Safecomp 2005, Held In Fredrikstad, Norway, In September 2005. The 30 Revised Full Papers Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Addr