@evan A couple more comments... saying "time is represented by a 64-bit integer value shared between servers on the network" could be misleading. I'm guessing you don't mean all servers share the same time value (or that the clocks even converge to the same value). In Lamport's paper a send event time is strictly < a receive event time (receiver increments). In the FEP, they are <=. The equality means the send->receive causal relationship is lost (the events are "concurrent" in Lamport terms).
@Steve_Bate Yes, that's correct. Instead of using message send-receive, it uses activities as the unit of change.
