Implementing Multiparty Session Types in Rust

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Lagaillardie, Nicolas, Neykova, Rumyana, Yoshida, Nobuko
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7282848/
http://dx.doi.org/10.1007/978-3-030-50029-0_8
_version_ 1783544201421520896
author Lagaillardie, Nicolas
Neykova, Rumyana
Yoshida, Nobuko
author_facet Lagaillardie, Nicolas
Neykova, Rumyana
Yoshida, Nobuko
author_sort Lagaillardie, Nicolas
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7282848
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72828482020-06-10 Implementing Multiparty Session Types in Rust Lagaillardie, Nicolas Neykova, Rumyana Yoshida, Nobuko Coordination Models and Languages Article 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. 2020-05-13 /pmc/articles/PMC7282848/ http://dx.doi.org/10.1007/978-3-030-50029-0_8 Text en © IFIP International Federation for Information Processing 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Lagaillardie, Nicolas
Neykova, Rumyana
Yoshida, Nobuko
Implementing Multiparty Session Types in Rust
title Implementing Multiparty Session Types in Rust
title_full Implementing Multiparty Session Types in Rust
title_fullStr Implementing Multiparty Session Types in Rust
title_full_unstemmed Implementing Multiparty Session Types in Rust
title_short Implementing Multiparty Session Types in Rust
title_sort implementing multiparty session types in rust
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7282848/
http://dx.doi.org/10.1007/978-3-030-50029-0_8
work_keys_str_mv AT lagaillardienicolas implementingmultipartysessiontypesinrust
AT neykovarumyana implementingmultipartysessiontypesinrust
AT yoshidanobuko implementingmultipartysessiontypesinrust

Ejemplares similares