Assertion: sequential consistency | /r/CapableOf | forbid any ordering
Facets:
value: on the program
type: LOCATION
Source sentences:
text: For example, on the program above, sequential consistency forbids any ordering that results in printing 00 , but allows some orderings that print 01 and 11 .