mpstk - the Multiparty Session Types toolKit

mpstk is a toolkit for specifying multiparty protocols and verifying their properties (e.g., deadlock-freedom and liveness).

mpstk is based on the new, generalised theory of multiparty session types presented in the companion paper:

Alceste Scalas and Nobuko Yoshida. Less is More: Multiparty Session Types Revisited. POPL 2019.

This website is under construction. You can refer to the following resources:

• the documentation, with building and usage instructions;
• the source code on GitHub;
• the artifact accepted at POPL'19, with a ready-to-use virtual machine for trying mpstk;
• the API documentation.