Email Record: CONCUR 2006 - concurrency theory :