Notes on distributed clocks