Correctness of vector clock algorithm