A vector clock, and a time vector clock. - View it on GitHub