DETECTING CONJUNCTIONS OF GLOBAL PREDICATES

Authors
GARG VK MITCHELL JR
Citation
Vk. Garg et Jr. Mitchell, DETECTING CONJUNCTIONS OF GLOBAL PREDICATES, Information processing letters, 63(6), 1997, pp. 295-302
Citations number
6
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
63
Issue
6
Year of publication
1997
Pages
295 - 302
Database
ISI
SICI code
0020-0190(1997)63:6<295:DCOGP>2.0.ZU;2-G
Abstract
We present an efficient algorithm to detect if the conjunction of two nonlocal predicates is possibly true in a distributed computation. For offline detection of such global predicates, our algorithm is signifi cantly more efficient than the previous algorithms by Cooper and Marzu llo, and by Stoller and Schneider. (C) 1997 Elsevier Science B.V.