Concurrent Programming Course (2015/2016)

The Promela/SPIN Assignment is available here.
MPI lab scenarios:

• lab 1 (in Polish)
• lab 2 (in Polish)
• lab 3 (in Polish)