Concurrent predicates: A debugging technique for every parallel programmer | IEEE Conference Publication | IEEE Xplore