%0 Conference Proceedings
%T Implementing Multiparty Session Types in Rust
%+ Imperial College London
%+ Brunel University London [Uxbridge]
%A Lagaillardie, Nicolas
%A Neykova, Rumyana
%A Yoshida, Nobuko
%Z Part 4: Communications: Types and Implementations
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 127-136
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_8
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273998/document
%2 https://inria.hal.science/hal-03273998/file/495623_1_En_8_Chapter.pdf
%L hal-03273998
%U https://inria.hal.science/hal-03273998
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134