In Sequential Consistency, the memory state is a function from location to value, M.
The SC has no internal steps of memory subsystem. So the whole semantics is straight-forward:
In Sequential Consistency, the memory state is a function from location to value, M.
The SC has no internal steps of memory subsystem. So the whole semantics is straight-forward: