# Concurrency Correctness

> The rules ensuring correct concurrent behavior — no data races, well-defined interleavings, verified with models such as Petri nets.

Record: `algo:concurrency-correctness`
Kind: Architectural Clusters
Canonical: https://banes-lab.com/ontology/algorithms#algo-concurrency-correctness
Closure: https://banes-lab.com/json/records/algo/concurrency-correctness/closure

## composed-by

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