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: