Lamport-s-Distributed-Mutual-Excursion Lamport's Mutual Excursion Algorithm shown on Dining Philosophers