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