Consistent Detection of Global Predicates (1991)

by Robert Cooper, Keith Marzullo
Venue:In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging