Text this: CONCUR 2004--concurrency theory :