# Deadlock Freedom

> The degree to which a concurrent design is provably free of states where progress halts permanently.

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

## category

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

## referenced-by

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