sec2_model.tex:that require logical time are very different from those that require
sec3_detection.tex:Just as breakpoints are very useful in sequential debugging, {\em global
sec3_detection.tex:breakpoints\/} are very useful in distributed debugging. It might
sec4_avoidance.tex:of predicate control. A very useful type of predicate that falls in
sec4_avoidance.tex:a recent discovery. We now demonstrate its use in two application
sec4_avoidance.tex:control has very important implications for race avoidance.
sec4_avoidance.tex:Very recently, we have made more progress towards extending the scope