A Core Model for Choreographic Programming

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

157 Downloads (Pure)

Abstrakt

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 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.
OriginalsprogEngelsk
TitelFormal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
RedaktørerOlga Kouchnarenko, Khosravi Ramtin
ForlagSpringer
Publikationsdato2017
Sider17-35
ISBN (Trykt)978-3-319-57665-7
ISBN (Elektronisk)978-3-319-57666-4
DOI
StatusUdgivet - 2017
Begivenhed13th International Formal Aspects of Component Software Conference - Besançon, Frankrig
Varighed: 19. okt. 201621. okt. 2016
Konferencens nummer: 13

Konference

Konference13th International Formal Aspects of Component Software Conference
Nummer13
LandFrankrig
ByBesançon
Periode19/10/201621/10/2016
NavnLecture Notes in Computer Science
Vol/bind10231
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Core Model for Choreographic Programming'. Sammen danner de et unikt fingeraftryk.

Citationsformater