Exrra curriculum for students taking IN9170 (PhD level)

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.

I have added the paper to the handouts folder. (This is only for PhD students taking IN9170, not for students taking IN5170.)