#Number TR-PDS-1996-005 #Title An Efficient Algorithm for Detecting Conjunctions of General Global Predicates #Author V. K. Garg J. Roger Mitchell #Abstract The ability to detect global predicates is important for distributed fault monitoring systems as well as distributed debugging. In this paper, we present an efficient algorithm to detect if the conjunction of two nonlocal predicates is possibly true in a distributed computation. For such global predicates, our algorithm is significantly more efficient than the previous algorithms by Cooper and Marzullo, and by Stoller and Schneider. #Bib @InProceedings{, author = "", title = "", booktitle = "Technical Report", address = "Electrical and Computer Engineering Department, University of Texas at Austin.", month = "", note = 1996, note = "available via ftp or WWW at maple.ece.utexas.edu as technical report TR-PDS-1996-005" }