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