# Distributed systems and concurrency theory

**URL:** https://forum.anoma.net/c/education/dsnct/126.md

[Latest](https://forum.anoma.net/latest.md) · [Categories](https://forum.anoma.net/categories.md) · [Tags](https://forum.anoma.net/tags.md)

---

## [About the Distributed systems and concurrency theory category](https://forum.anoma.net/t/about-the-distributed-systems-and-concurrency-theory-category/2520)

<div class="topic-metadata">

**Author:** [@graphomath](https://forum.anoma.net/u/graphomath)\
**Replies:** 0\
**Last updated:** [December 2, 2025, 12:36pm UTC](https://forum.anoma.net/t/about-the-distributed-systems-and-concurrency-theory-category/2520 "2025-12-02T12:36:10Z")

</div>

Distributed systems and concurrency theory are obviously relevant for distributed applications. You can never know too much.

---

## [Choreographic programming, choreographies, and protocols](https://forum.anoma.net/t/choreographic-programming-choreographies-and-protocols/2521)

<div class="topic-metadata">

**Author:** [@graphomath](https://forum.anoma.net/u/graphomath)\
**Replies:** 0\
**Last updated:** [December 2, 2025, 1:08pm UTC](https://forum.anoma.net/t/choreographic-programming-choreographies-and-protocols/2521 "2025-12-02T13:08:43Z")

</div>

The simple idea is Communicating correctly with a choreography.\[1\] The general notion is protocol, the tamed version is choreography. In particular, choreographies are deadlock-free. In computer science, choreographic…