Assertion: sequential consistency | /r/HasAspect | write
Facets:
Source sentences:
text: Sequential consistency has two requirements, program order and write atomicity.