Added VectorialClock handling in ResourceManager