Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection

Felix C. Gärtner, Stefan Pleisch. Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. In Dahlia Malkhi, editor, Distributed Computing, 16th International Conference, DISC 2002, Toulouse, France, October 28-30, 2002 Proceedings. Volume 2508 of Lecture Notes in Computer Science, pages 280-294, Springer, 2002. [doi]

Abstract

Abstract is missing.