Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini. A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. In Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, editors, Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers. Volume 3732 of Lecture Notes in Computer Science, pages 499-508, Springer, 2004. [doi]
Abstract is missing.