Neeraj Mittal Vijay K. Garg On Detecting Global Predicates in Distributed Computations. 3-10 2001 ICDCS http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918927 db/conf/icdcs/icdcs2001.html#MittalG01