Kickstarting Choreographic Programming

Fabrizio Montesi [2015].
In CoRR abs/1502.02519.

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

arxiv.org

Additional notes

None

Cite (BibTeX)

Click to expand

@article{DBLP:journals/corr/Montesi15,
  author       = {Fabrizio Montesi},
  title        = {Kickstarting Choreographic Programming},
  journal      = {CoRR},
  volume       = {abs/1502.02519},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.02519},
  eprinttype    = {arXiv},
  eprint       = {1502.02519},
  timestamp    = {Mon, 13 Aug 2018 16:48:39 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Montesi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Peer-reviewed version

Click to show in publication list

A PDF is available (possibly a preprint):