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 >