Text this: CONCUR 2007 – Concurrency Theory