#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"
}