Courses

Details: Written by Christoph Wagner; Category: Teaching; Published: 13 June 2013

Bachelor

TU Berlin: Nebenläufige Modellierung und Programmierung (Hälfte eines Moduls)

Master

TU Berlin: Algebraic Process Calculi
Universität Duisburg Essen: Modellierung nebenläufiger Systeme Folien (WS 2009/2010)