Automatic Classification of Eventual Failure Detectors

@inproceedings{Zielinski2007AutomaticCO,
  title={Automatic Classification of Eventual Failure Detectors},
  author={Piotr Zielinski},
  booktitle={DISC},
  year={2007}
}
Eventual failure detectors, such as Ω or ♦P, can make arbitrarily many mistakes before they start providing correct information. This paper shows that any detector implementable in a purely asynchronous system can be implemented as a function of only the order of most-recently heard-from processes. The finiteness of this representation means that eventual failure detectors can be enumerated and their relative strengths tested automatically. The results for systems with two and three processes… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…