menu

Return to entry

Data
Occurrences
Renaming
Substitution
OperationalSemantics
Executions
Determinacy

Concurrent_Revisions.Determinacy

HTML Presentation