Logical time (Lamport) - ppt download