Note that there is a separate paper on the Creol concurrency model that is part of the syllabus for IN9170. See the IN5170 page.