Getting Started for the mCRL2 DisCoTec Tutorial

For Designing Distributed Software in mCRL2, the toolset can be downloaded and installed from here.

The models discussed in the tutorial and the accompanying paper can be accessed here.

For convenience, for the duration of the conference, a zip-file with the models and properties discussed can also be downloaded here.