CONCUR 2003 - Concurrency Theory