Assertion: sequential consistency | /r/HasProperty | rcsc
Facets:
Source sentences:
text: There are two types of release consistency, release consistency with sequential consistency (RCsc) and release consistency with processor consistency (RCpc).
text: For sequential consistency (RCsc), the constraints are: