Consistent detection of global predicates. (1991)

by R Cooper, K Marzullo
Venue:In ACM/ONR workshop on Parallel and distributed debugging (PADD),