Kickstarting Choreographic Programming

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

Abstract

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.

Links

doi.org

Additional notes

None

Cite (BibTeX)

Click to expand

@inproceedings{DBLP:conf/wsfm/Montesi15,
  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          = {https://doi.org/10.1007/978-3-319-33612-1\_1},
  doi          = {10.1007/978-3-319-33612-1\_1},
  timestamp    = {Fri, 26 May 2023 07:40:34 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/Montesi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

A PDF is available (possibly a preprint):

Some data from DBLP and Crossref.