Parte de la implementacion de vclocks