Detection of Global Predicates: Techniques and their Limitations (1998)

by C Chase, V K Garg
Venue:Distributed Computing