Clocks communications and correctness door P. Zhou