Text this: CONCUR 2002 Concurrency Theory.