Process Algebra

The information pertaining to the course on Process Algebra (2IMF10) that I teach is now (only) available from the respective Canvas sites.

Please go to canvas.tue.nl.