Formal Choreographic Languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Formal Choreographic Languages


We introduce formal choreography languages as a meta-model to study message-passing systems. This allows us to compare and generalise standard constructions and properties from the literature. In particular, we consider notions such as global view, local view, and projections from the former to the latter. The correctness of local views projected from global views is characterised in terms of a closure property. A condition is also devised to guarantee relevant communication properties such as (dead)lock-freedom. Formal choreography languages capture existing formalisms for message-passing systems; we detail the cases of multiparty session types and choreography automata.
Fichier principal
Vignette du fichier
submitted_version.pdf (529.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Licence : Copyright

Dates and versions

hal-03917266 , version 1 (01-01-2023)



Franco Barbanera, Ivan Lanese, Emilio Tuosto. Formal Choreographic Languages. COORDINATION 2022 - 24th International Conference on Coordination Models and Languages, Jun 2022, Lucca, Italy. pp.121-139, ⟨10.1007/978-3-031-08143-9_8⟩. ⟨hal-03917266⟩
3 View
12 Download



Gmail Facebook Twitter LinkedIn More