InfoSpect: using a logic language for system health monitoring in distributed systems

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]

Authors

Timothy Roscoe

This author has not been identified. It may be one of the following persons: Look up 'Timothy Roscoe' in Google

Richard Mortier

This author has not been identified. Look up 'Richard Mortier' in Google

Paul W. Jardetzky

This author has not been identified. Look up 'Paul W. Jardetzky' in Google

Steven Hand

This author has not been identified. Look up 'Steven Hand' in Google