Implementing Multiparty Session Types in Rust - Coordination Models and Languages
Conference Papers Year : 2020

Implementing Multiparty Session Types in Rust

Nicolas Lagaillardie
  • Function : Author
  • PersonId : 1103681
Rumyana Neykova
  • Function : Author
  • PersonId : 1103682
Nobuko Yoshida
  • Function : Author
  • PersonId : 1055854

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Licence

Identifiers

Cite

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⟩
93 View
58 Download

Altmetric

Share

More