A Core Model for Choreographic Programming

  title={A Core Model for Choreographic Programming},
  author={Lu{\'i}s Cruz-Filipe and Fabrizio Montesi},
Choreographic Programming is a paradigm for developing concurrent programs that are deadlock-free by construction, by programming communications declaratively and then synthesising process implementations automatically. Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing. In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 39 references

Computability: an Introduction to Recursive Function Theory

  • N. Cutland
  • 1980
Highly Influential
5 Excerpts

Introduction to Metamathematics

  • S. Kleene
  • 1952
Highly Influential
4 Excerpts

2016b. A core model for choreographic programming

  • L. Cruz-Filipe, F. Montesi
  • FACS. LNCS. Springer,
  • 2016
Highly Influential
6 Excerpts

2016c. A language for the declarative composition of concurrent protocols

  • L. Cruz-Filipe, F. Montesi
  • CoRR abs/1602.03729,
  • 2016
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…