Stav dette: Structures in concurrency theory :