IEEE - Institute of Electrical and Electronics Engineers, Inc. - Detecting temporal logic predicates on the happened-before model

Proceedings 16th International Parallel and Distributed Processing Symposium. IPDPS 2002

Author(s): A. Sen ; V. K. Garg
Sponsor(s): IEEE Comput. Soc. Tech. Committee on Parallel Process.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2002
Conference Location: Ft. Lauderdale, FL, USA
Conference Date: 15 April 2001
ISBN (Paper): 0-7695-1573-8
DOI: 10.1109/IPDPS.2002.1015583
Regular:

Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicates. We use a... View More

Advertisement