Donald Darling, Jean Mayo, Xinli Wang. Stable Predicate Detection in Dynamic Systems. In James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer, editors, Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers. Volume 3974 of Lecture Notes in Computer Science, pages 161-175, Springer, 2005. [doi]
Abstract is missing.