Kickstarting Choreographic Programming

Fabrizio Montesi [2015].
In proceedings of WS-FM 2015, pp. 3-10.

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.
Additional notes
Cite (BibTeX)
Click to expand
  author       = {Fabrizio Montesi},
  editor       = {Thomas T. Hildebrandt and
                  Ant{\'{o}}nio Ravara and
                  Jan Martijn E. M. van der Werf and
                  Matthias Weidlich},
  title        = {Kickstarting Choreographic Programming},
  booktitle    = {Web Services, Formal Methods, and Behavioral Types - 11th International
                  Workshop, {WS-FM} 2014, Eindhoven, The Netherlands, September 11-12,
                  2014, and 12th International Workshop, {WS-FM/BEAT} 2015, Madrid,
                  Spain, September 4-5, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9421},
  pages        = {3--10},
  publisher    = {Springer},
  year         = {2015},
  url          = {\_1},
  doi          = {10.1007/978-3-319-33612-1\_1},
  timestamp    = {Fri, 26 May 2023 07:40:34 +0200},
  biburl       = {},
  bibsource    = {dblp computer science bibliography,}

A PDF is available (possibly a preprint):

Download PDF