A machine has performed an inconsistent update in the sense that a step
has updated an item of state to two different values. m is the machine
that performed the update, u is the update, and v is the value used by
another update of the same state item in that step.
A machine has performed an inconsistent update in the sense that a step has updated an item of state to two different values.
m
is the machine that performed the update,u
is the update, andv
is the value used by another update of the same state item in that step.