Happens-Before Reasoning
Kind: activity
Layer: Causality Core
Record: lexicon:happens-before-reasoning
Canonical: Lexicon
Reasoning about event order using logical timestamps that respect the happens-before relation.
Listed in Lexicon terms, after Version Vector and before Logical Counter.