結果 : lamport algorithm in distributed system example