Email Record: CONCUR 2009 - concurrency theory :