A Core Model for Choreographic Programming release_u2w2j5mxdbbq5kuicb3ch6phpm

by Luís Cruz-Filipe, Fabrizio Montesi

Released as a article .

2018  

Abstract

Choreographic Programming is a programming paradigm for building concurrent programs that are deadlock-free by construction, as a result of 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 of choreographic programming. Every computable function can be implemented as a choreography in CC, from which we can synthesise a process implementation where independent computations run in parallel. We discuss the design of CC and argue that it constitutes a canonical model for choreographic programming.
In text/plain format

Archived Files and Locations

application/pdf  727.6 kB
file_g4j5oyxgind3jiluzbmc7ng5zy
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   accepted
Date   2018-10-09
Version   v3
Language   en ?
arXiv  1510.03271v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 54774580-9a97-4533-bbc7-5a87360c1172
API URL: JSON