Mobility Reading Group

Implementing Multiparty Session Types in Rust

Nicolas LAGAILLARDIE , Rumyana NEYKOVA , Nobuko YOSHIDA

22nd International Conference on Coordination Models and Languages (COORDINATION 2020). p. 127 - 136

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.

Paper Electronic version via DOI

BibTeX
Short
Long

@inproceedings{LNY2020,
  author = {Nicolas Lagaillardie and Rumyana Neykova and Nobuko Yoshida},
  title = {{Implementing Multiparty Session Types in Rust}},
  booktitle = {22nd International Conference on Coordination Models and Languages},
  series = {LNCS},
  volume = {12134},
  pages = {127--136},
  publisher = {Springer},
  year = 2020
}

@inproceedings{LNY2020,
  author = {Nicolas Lagaillardie and Rumyana Neykova and Nobuko Yoshida},
  title = {{Implementing Multiparty Session Types in Rust}},
  booktitle = {22nd International Conference on Coordination Models and Languages},
  series = {LNCS},
  volume = {12134},
  pages = {127--136},
  publisher = {Springer},
  doi = "10.1007/978-3-030-50029-0_8",
  year = 2020
}