Fernando Luís Dotti, Osmar Marchi dos Santos, Eduardo T. Rödel. On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems. In Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr., editors, Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Volume 2847 of Lecture Notes in Computer Science, pages 341-360, Springer, 2003. [doi]
Abstract is missing.