A different type of clock for distributed event ordering