Kickstarting Choreographic Programming
Fabrizio Montesi · arXiv (Cornell University) · 2015
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour.