Algorithm of Chandy and Lamport example