Email Record: CONCUR 2004--concurrency theory :