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.

Leave a Reply