Haifeng Chen, Guofei Jiang, Kenji Yoshihira, Akhilesh Saxena. Invariants Based Failure Diagnosis in Distributed Computing Systems. In 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31 - November 3, 2010. pages 160-166, IEEE, 2010. [doi]
Abstract is missing.