# The arch records whose scope is concurrency

This index as JSON: https://banes-lab.com/json/api/facets/arch/scope/concurrency

## Entries

- [Happens-Before Relationship](https://banes-lab.com/records/arch/happens-before-relationship.md)
- [Immutability](https://banes-lab.com/records/arch/immutability.md)
- [Isolation](https://banes-lab.com/records/arch/isolation.md)
- [Petri Nets](https://banes-lab.com/records/arch/petri-nets.md)