Distributed Mutual Exclusion based on Lamport's Algorithm