Detection of Global State Predicates (1991)

by K Marzullo, G Neiger
Venue:In Proceedings of the Workshop on Distributed Algorithms (WDAG