ST30 Session Types Benchmark

In this repository, you can find various protocols specified with Session Types.

This repository is divided in 3 folders:

1. Pdf: contains the protocols using standard "Session type" syntax
2. NuScr: contains the protocols in NuScr format
3. Rust: a reference implementation of the protocols in Rust (using the Rumpsteak framework)
4. Baseline: a reference implementation of the protocols in Rust (using mpsc channels from the standard library)