Detection of Global State Predicates

  title={Detection of Global State Predicates},
  author={Keith Marzullo and Gil Neiger},
This paper examines algorithms for detecting when a property 4> holds during the execution of a distributed system. The properties we consider are expressed over the state of the system and are not assumed to have properties that facilitate detection, such as stability. Detection is done by a monitoring process within the system, which cannot perceive an execution of a distributed system as a total order: because of this, we consider two interpretations for "detecting _": 1. There is an… CONTINUE READING
Highly Cited
This paper has 72 citations. REVIEW CITATIONS
45 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 45 extracted citations

72 Citations

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

See our FAQ for additional information.

Similar Papers

Loading similar papers…