Clocks communications and correctness by P. Zhou