Timothy Roscoe, Richard Mortier, Paul W. Jardetzky, Steven Hand. InfoSpect: using a logic language for system health monitoring in distributed systems. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 31-37, ACM, 2002. [doi]
Abstract is missing.