Vinit A. Ogale, Vijay K. Garg. Detecting Temporal Logic Predicates on Distributed Computations. In Andrzej Pelc, editor, Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings. Volume 4731 of Lecture Notes in Computer Science, pages 420-434, Springer, 2007. [doi]
Abstract is missing.