#Number
TR-PDS-1994-013

#Title
On The Fly Testing of Regular Patterns in distributed computations

#Author
Eddy Fromentin
Michel Raynal
Vijay K Garg
Alex Tomlinson

#Abstract
A class of properties of distributed computations is described
and an algorithm which detects them is presented.  This class
of properties called regular patterns allows the user to
specify an expected (or unwanted) behavior of a computation as
a sequence of relevant events (or as sequences of local
predicates that must be successively verified).  The sequences
are defined by a finite state automaton (hence the name
regular patterns).  A computation verifies the property if and
only if one of its causal paths matches a sequence.

#Bib
@InProceedings{FRGT,
  author = 	 "E. Fromentin and M. Raynal  
                  and V.K. Garg and A.I. Tomlinson", 
  title = 	 "On the fly testing of regular patterns in
		  distributed computations", 
  booktitle =	 "Proc of the $23^{rd}$ International Conference on
		  Parallel Processing", 
  year =	 1994,
  address =	 "St. Charles, IL",
  month =	 aug,
  note =	 "available via ftp or WWW at maple.ece.utexas.edu
		  as technical report TR-PDS-1994-013"
}