Formal Choreographic Languages - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Formal Choreographic Languages

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Licence : Copyright (Tous droits réservés)

Dates et versions

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

Identifiants

Citer

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⟩
15 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More