First contact with concurrent programming using PROMELA

Here you can download the exercise document.


Concurrent Programming 2016 - Chalmers University of Technology & Gothenburg University