Kickstarting Choreographic Programming
Programming Languages
2015-02-11 v2
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.
Keywords
Cite
@article{arxiv.1502.02519,
title = {Kickstarting Choreographic Programming},
author = {Fabrizio Montesi},
journal= {arXiv preprint arXiv:1502.02519},
year = {2015}
}