Keith Marzullo, Gil Neiger. Detection of Global State Predicates. In Sam Toueg, Paul G. Spirakis, Lefteris M. Kirousis, editors, Distributed Algorithms, 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991, Proceedings. Volume 579 of Lecture Notes in Computer Science, pages 254-272, Springer, 1991.
Abstract is missing.