# Concurrency Correctness

> The degree to which concurrent flows produce correct results free of races and lost updates.

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

## category

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

## contract

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

## referenced-by

- [Petri Nets](https://banes-lab.com/records/arch/petri-nets.md)