Email Record: CONCUR 2002-concurrency theory :