Stav dette: Seminar on Concurrency :