COS 461 Fall 1997 Vector Time and Ordering u given two events X and Y, –X --> Y iff some X[i]<Y[i] and all X[i]<=Y[i] –Y --> X iff some Y[i]<X[i] and all Y[i]<=Y[i] –X || Y iff some X[i] Y[j] u captures happened-before relation exactly
{}