Vector clocks, since they keep a separate counter for each client