# A Core Model for Choreographic Programming

arXiv: https://arxiv.org/abs/1510.03271 · HTML: https://mlsanity.com/paper/1510.03271/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Oct 2015.

## Built on by (most cited first, 2 of 2)

- [Software Engineering for Collective Cyber-Physical Ecosystems](https://mlsanity.com/paper/2406.04780/) (2024)
- [Cryptographic certificates of validity for trustworthy AI](https://mlsanity.com/paper/2606.23768/) (2026)

## Abstract (arXiv)

Choreographic Programming is a programming paradigm for building concurrent programs that are deadlock-free by construction, as a result of programming communications declaratively and then synthesising process implementations automatically. Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing. In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives of choreographic programming. Every computable function can be implemented as a choreography in CC, from which we can synthesise a process implementation where independent computations run in parallel. We discuss the design of CC and argue that it constitutes a canonical model for choreographic programming.