Client-centric models
Last updated
Last updated
If a process reads the value of a given x, any successive reading operation over x by the same process will return the same value or a more recent one.
A process writing operation in x is completed before any successive writing operation on x by the same process.
The effect of a process writing operation over data x will always be seen by the same process following reading operations over x.
A process's writing operation over x data after a previous reading operation over x by the same process is guaranteed to occur over the same x value.
