Implementing Multiparty Session Types in Rust - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Implementing Multiparty Session Types in Rust

Nicolas Lagaillardie
  • Fonction : Auteur
  • PersonId : 1103681
Rumyana Neykova
  • Fonction : Auteur
  • PersonId : 1103682
Nobuko Yoshida
  • Fonction : Auteur
  • PersonId : 1055854

Résumé

Multiparty Session Types (MPST) is a typing discipline for distributed protocols, which ensures communication safety and deadlock-freedom for more than two participants. This paper reports on our research project, implementing multiparty session types in Rust. Current Rust implementations of session types are limited to binary (two-party communications). We extend an existing library for binary session types to MPST. We have implemented a simplified Amazon Prime Video Streaming protocol using our library for both shared and distributed communication transports.
Fichier principal
Vignette du fichier
495623_1_En_8_Chapter.pdf (286.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03273998 , version 1 (29-06-2021)

Licence

Paternité

Identifiants

Citer

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida. Implementing Multiparty Session Types in Rust. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩. ⟨hal-03273998⟩
68 Consultations
12 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More