Ordering Semantics
Kind: constraint
Layer: Causality Core
Record: lexicon:ordering-semantics
Canonical: Lexicon
The requirement that a defined semantics specify when one event is considered to happen before another.
Listed in Lexicon terms, after Causal Reasoning and before Parallel Execution.