Lamport clocks with lattices