@inproceedings{8e8d3b0c06fe43a9b5c67beefa0f4ca3,
title = "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.",
author = "Luis Cruz-Filipe and Fabrizio Montesi",
year = "2017",
doi = "10.1007/978-3-319-60225-7_7",
language = "English",
isbn = "978-3-319-60224-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "92--107",
editor = "Ahmed Bouajjani and Alexandra Silva",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",
address = "Germany",
note = "37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 ; Conference date: 19-06-2017 Through 22-06-2017",
}