Title: Clocks, communications, and correctness
Subjects: Real-time clocks (Computers)