Alper Sen, Vijay K. Garg. Detecting Temporal Logic Predicates on the Happened-Before Model. In 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2002. [doi]
Abstract is missing.