#Number TR-PDS-1995-001 #Title Deriving Distributed Algorithms from a General Predicate Detector #Author J. Roger Mitchell Vijay K. Garg #Abstract Many problems or applications in distributed systems require the detection of conditions across the entire system. As an illustration, monitoring the status of an application often requires detection of termination, and to use virtual time requires the periodic calculation of the global virtual time. Often, to perform this detection an algorithm is devised which meets this need. A better approach might be to have a standard algorithm which meets many needs and can be applied to many detection problems. The Generalized Conjunctive Predicate (GCP) detector offers a method to derive detection algorithms for many problems based on optimizing the base algorithm. #Bib @InProceedings{, author = "J. Roger Mitchell, Vijay K. Garg", title = "Deriving Distributed Algorithms from a General Predicate Detector", booktitle = "", address = "", month = "", note = 1995, note = "available via ftp or WWW at maple.ece.utexas.edu as technical report TR-PDS-1995-001" }