Advanced study in models of computation, programming languages and algorithms with a specific focus on concurrent ... studied in the second year of full-time study). What you will learn. Knowledge, ...