Assertion: processor consistency | /r/HasProperty | needed
Facets:
Source sentences:
text: Processor consistency, while weaker than sequential consistency, is still in most cases a stronger consistency model than is needed.