# Safe Concurrent Behaviour

> Concurrent behaviour is safe

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

## surfaces

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

## referenced-by

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