Skip to content
Multiparty Session Types toolKit
Scala Shell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin
doc
examples-bad
examples
project
src
.gitignore
LICENSE
README.md
build.sbt

README.md

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:

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 >

You can’t perform that action at this time.