Assertion: sequential consistency | /r/HasProperty | met
Facets:
Source sentences:
text: As defined by Lamport(1979), sequential consistency is met if "the result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.