Abstract: Choreographic Programming exploits choreographies as a programming language. We will introduce choreographic programming, and showcase its use for programming distributed applications which are:
- dynamically updatable by including new code fragments at runtime
- free by construction from errors such as communication deadlocks
races
Slides: [X]
Demo: [X]
The content in these slides was presented during the BehAPI 2019 Summer School in Leicester.