Assertion: parallel execution | /r/CapableOf | produce same results
Facets:
value: as a sequential program
type: MANNER
Source sentences:
text: Sequential consistency is the property of a parallel program that its parallel execution produces the same results as a sequential program.