Introduction to Clocks

A clock at a process $p_i$ is a monotonically increasing function $C_i$ from a real time to some real value. Real time is the clock’s Proper Time.