1.3.5.2. Lamport Clock