C
oncurrent_
R
evisions
Data
Occurrences
Renaming
Substitution
OperationalSemantics
Executions
Determinacy