Alexander I. Tomlinson Vijay K. Garg Detecting Relational Global Predicates in Distributed Systems. 21-31 1993 Workshop on Parallel and Distributed Debugging db/conf/pdd/pdd93.html#TomlinsonG93