discussion of lattices and Lamport clocks