Procedural Choreographic Programming - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2017

Procedural Choreographic Programming

Luís Cruz-Filipe
  • Function : Author
  • PersonId : 998116
Fabrizio Montesi
  • Function : Author
  • PersonId : 972839


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.
Fichier principal
Vignette du fichier
446833_1_En_7_Chapter.pdf (453.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01658417 , version 1 (07-12-2017)





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⟩
99 View
69 Download



Gmail Facebook X LinkedIn More