Assertion: sequential consistency | /r/CapableOf | allow ordering
Facets:
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 .