Efficient Distributed Detection of Conjunctions of Local Predicates

  title={Efficient Distributed Detection of Conjunctions of Local Predicates},
  author={Michel Hurfin and Masaaki Mizuno and Michel Raynal and Mukesh Singhal},
  journal={IEEE Trans. Software Eng.},
Global predicate detection is a fundamental problem in distributed systems and nds applications in many domains such as testing and debugging distributed programs. This paper presents two eecient distributed algorithms to detect conjunctive form global predicates in distributed systems. The algorithms detect the rst consistent global state that satisses the predicate even if the predicate is unstable. The algorithms are based on complementary approaches and are dual of each other. The… CONTINUE READING
Highly Cited
This paper has 72 citations. REVIEW CITATIONS



Citations per Year

72 Citations

Semantic Scholar estimates that this publication has 72 citations based on the available data.

See our FAQ for additional information.