Definition of Sequential Consistency
All previous loads must be globally performed and all previous store accesses must be performed before a load or store is allowed to perform with respect to any other processor
A load is globally performed is it is performed and if the store that is the source of its returned value has been performed.
An access (load or store) is performed it is performed with respect to all processors.
A load by processor PI is performed with respect to PK when the issuing of a store by Pk cannot affect the value returned by the load.
A store by processor PI is performed with respect to Pk when a load issued to the same address by PK returns the value defined by this store.