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