Jan Olaf Blech. Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties. In Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy, editors, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Volume 7109 of Lecture Notes in Computer Science, pages 222-234, Springer, 2011. [doi]
Abstract is missing.