Skip to Main content Skip to Navigation
Conference papers

Implementing Multiparty Session Types in Rust

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.
Complete list of metadata

https://hal.inria.fr/hal-03273998
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 4:13:26 PM
Last modification on : Tuesday, January 18, 2022 - 2:26:08 PM
Long-term archiving on: : Thursday, September 30, 2021 - 7:14:58 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

27