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 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.

For details and documentation, please visit the home page of the tool: https://alcestes.github.io/mpstk

For questions, please contact the author: Alceste Scalas < alceste (dot) scalas (at) imperial (dot) ac (dot) uk >