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]
@inproceedings{RoscoeMJH02,
title = {InfoSpect: using a logic language for system health monitoring in distributed systems},
author = {Timothy Roscoe and Richard Mortier and Paul W. Jardetzky and Steven Hand},
year = {2002},
doi = {10.1145/1133373.1133379},
url = {http://doi.acm.org/10.1145/1133373.1133379},
tags = {logic},
researchr = {https://researchr.org/publication/RoscoeMJH02},
cites = {0},
citedby = {0},
pages = {31-37},
booktitle = {Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002},
editor = {Gilles Muller and Eric Jul},
publisher = {ACM},
}