# Safe Concurrent Behavior

> Concurrent behavior is safe

Record: `reasoning:invariant-safe-concurrent-behavior`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-invariant-safe-concurrent-behavior

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Acceptable Resource Consumption](https://banes-lab.com/records/reasoning/invariant-acceptable-resource-consumption.md) and before [Controlled Memory Usage](https://banes-lab.com/records/reasoning/invariant-controlled-memory-usage.md).

## Surfaces

- [concurrency-correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md)

## Linked from

- [The test surfaces](https://banes-lab.com/ontology/reasoning/the-test-surfaces.md)