Executable Modelling of Concurrency Paradigms
This thesis will use the modelling language Maude, which is taught in INF3230/INF3232, to define executable models corresponding to the various concurrency models taught in the course IN5170 Models of Concurrency. This includes shared variable concurrency models, locks, semaphores, monitors, as well as message passing systems and active object models. It is intended that the results of the thesis work will be used in the course IN5170 as a basis for student programming.
The candidate should have taken INF3230/INF3232 or similar, and should take the master course IN5170.