Prof. Sema — Concurrency, made visible