Does boost have either a vector clock or lamport clock of any kind?