%0 Conference Proceedings
%T Procedural Choreographic Programming
%+ University of Southern Denmark (SDU)
%A Cruz-Filipe, Luís
%A Montesi, Fabrizio
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Neuchâtel, Switzerland
%Y Ahmed Bouajjani
%Y Alexandra Silva
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-10321
%P 92-107
%8 2017-06-19
%D 2017
%R 10.1007/978-3-319-60225-7_7
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01658417/document
%2 https://inria.hal.science/hal-01658417/file/446833_1_En_7_Chapter.pdf
%L hal-01658417
%U https://inria.hal.science/hal-01658417
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-10321