Logic Clock

  Each cocavm has a logical clock. When a message is sent out, the local logic clock is advanced by one. When a message is received from another cocavm with logic time t₁, and the logic clock of this cocavm reads t₂. If $t_{1} \leq t_{2}$, then we set $t_{2} \leftarrow t_{1} + 1$. This scheme maintains the causal relationship of messages across cocavms and can be easily extended to support a consistent total ordering of all messages[32].