Journal
THEORETICAL COMPUTER SCIENCE
Volume 802, Issue -, Pages 38-66Publisher
ELSEVIER
DOI: 10.1016/j.tcs.2019.07.005
Keywords
Choreography; Computability; Process calculi
Categories
Funding
- CRC (Choreographies for Reliable and efficient Communication software) [DFF-4005-00304]
- Danish Council for Independent Research
Ask authors/readers for more resources
Choreographic Programming is a paradigm for developing 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. (C) 2019 Elsevier B.V. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available