Vector Clock implementation