#Number
TR-PDS-1994-006

#Title
Monitoring Functions on Global States of Distributed Programs

#Author
Alexander I. Tomlinson
Vijay K. Garg

#Abstract
The domain of a global function is the set of all global
states of an execution of a distributed program.  We show how
to monitor a program in order to determine if there exists a
global state in which the sum X1 + X2 + ... + XN exceeds some
constant K, where Xi is defined in process i.  We examine the
cases where Xi is an integer variable and where Xi is a
boolean variable.  For both cases we provide algorithms, prove
their correctness and analyze their complexity.

#Bib
@TechReport{,
  author = 	 "A.I. Tomlinson and V.K. Garg", 
  title = 	 "Monitoring Functions on Global States
		  of Distributed Programs" 
  institution =  "Parallel and Distributed Systems Laboratory, The
		  University of Texas at Austin", 
  year =	 1994,
  number =	 "TR-PDS-1994-006",
  note =	 "available via ftp or WWW at maple.ece.utexas.edu"
}