# Concurrency Correctness

> The degree to which concurrent flows produce correct results free of races and lost updates, for example because each unit's state is isolated.

Record: `lexicon:concurrency-correctness`
Kind: quality-attribute
Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md)
Aliases: Concurrency Safety
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-concurrency-correctness

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Ad-Hoc Lock Ordering](https://banes-lab.com/records/lexicon/ad-hoc-lock-ordering.md) and before [Concurrent-Flow Modeling](https://banes-lab.com/records/lexicon/concurrent-flow-modeling.md).

## Category

- [Transactions / State / Concurrency](https://banes-lab.com/records/lexicon-category/transactions-state-concurrency.md)

## Contract

- [Concurrency Correctness](https://banes-lab.com/records/algorithms/concurrency-correctness.md)

## Reinforced by

- [State Isolation](https://banes-lab.com/records/architecture/state-isolation.md)
- [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md)

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Transactions / State / Concurrency](https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md)