I wasn't able to find the answer to this from google or the mailing list. I see the reference to Lamport, but I just wanted to confirm whether this was implemented with logical timestamps or vector timestamps. Thanks, Peter