Punit Chandra Ajay D. Kshemkalyani Causality-Based Predicate Detection across Space and Time. 1438-1453 2005 54 IEEE Trans. Computers 11 http://doi.ieeecomputersociety.org/10.1109/TC.2005.176 db/journals/tc/tc54.html#ChandraK05