Michel Hurfin Noël Plouzeau Michel Raynal Detecting Atomic Sequences of Predicates in Distributed Computations. 32-42 1993 Workshop on Parallel and Distributed Debugging db/conf/pdd/pdd93.html#HurfinPR93