<font color="green"> // vector clock from the candidate state</font> '''var''' candidate: array[1..n] of integer initially 0;<font color="green"> // vector clock from the candidate state</font>
Upon receiving the token (G, color)
'''while''' (color[i] = red) '''do'''
