Skip to Main content Skip to Navigation
Conference papers

Procedural Choreographic Programming

Abstract : Choreographic Programming is an emerging paradigm for correct-by-construction concurrent programming. However, its applicability is limited by the current lack of support for reusable procedures. We propose Procedural Choreographies (PC), a choreographic language model with full procedural abstraction. PC includes unbounded process creation and name mobility, yielding a powerful framework for writing correct concurrent algorithms that can be compiled into a process calculus. This increased expressivity requires a typing discipline to ensure that processes are properly connected when enacting procedures.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01658417
Contributor : Hal Ifip <>
Submitted on : Thursday, December 7, 2017 - 3:48:54 PM
Last modification on : Friday, August 23, 2019 - 3:20:03 PM

File

446833_1_En_7_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Luís Cruz-Filipe, Fabrizio Montesi. Procedural Choreographic Programming. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.92-107, ⟨10.1007/978-3-319-60225-7_7⟩. ⟨hal-01658417⟩

Share

Metrics

Record views

166

Files downloads

81