This is an implementation of the mixed-choice multiparty session type theory developed in the draft paper *[Mixed-choice Multiparty Session Types]
You will need javac installed on your machine.
Here, we assume that you have a terminal open and that you are in the mc-mpst directory.
- Run:
make
The tool runs in an interactive mode.
- Run the following command to enter the interactive mode
./java -jar mc-mpst
In the interactive mode run usage. The command will list a description of the tool's functionalities and a number of options for the usage command.
In the interactive mode running command usage -option, where -option is an option listed by the usage command, will list more details on the functionality -option.
In the interactive mode run load examples/filename.mc, where filename.mc is the filename of the example towards loading.