Implementing Multiparty Session Types in Rust
- 10 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12134, 127-136
- https://doi.org/10.1007/978-3-030-50029-0_8
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.Keywords
This publication has 15 references indexed in Scilit:
- Exceptional asynchronous session types: session types without tiersProceedings of the ACM on Programming Languages, 2019
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structuresProceedings of the ACM on Programming Languages, 2019
- Typechecking protocols with Mungo and StMungoPublished by Association for Computing Machinery (ACM) ,2016
- Hybrid Session Verification Through Endpoint API GenerationLecture Notes in Computer Science, 2016
- Session types for RustPublished by Association for Computing Machinery (ACM) ,2015
- The Scribble Protocol LanguageLecture Notes in Computer Science, 2014
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session TypesLecture Notes in Computer Science, 2013
- Multiparty asynchronous session typesPublished by Association for Computing Machinery (ACM) ,2008
- MQTT-S — A publish/subscribe protocol for Wireless Sensor NetworksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Science and Business Media LLC ,1998