Email Record: CONCUR 2011--concurrency theory :