# Happens-Before Reasoning

> Reasoning about event order using logical timestamps that respect the happens-before relation.

Record: `lex:happens-before-reasoning`
Kind: activity
Layer: [Causality Core](https://banes-lab.com/records/layer/causality-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-happens-before-reasoning

## category

- [Causality / Ordering / Distributed Time](https://banes-lab.com/records/lex-category/causality-ordering-distributed-time.md)

## referenced-by

- [Lamport Clocks](https://banes-lab.com/records/arch/lamport-clocks.md)