Implementation of Lamport’s logical clock and distributed mutual exclusion algorithms.