Concurrency Correctness
Kind: algorithm
Record: algorithms:concurrency-correctness
Canonical: Algorithms
Closure: Dependencies in load order
The rules ensuring correct concurrent behavior — no data races, well-defined interleavings, verified with models such as Petri nets.
Listed in Algorithm contracts, after Separation of Concerns and before Capacity Planning.