CONCUR 2002: 13th Int'l Conference on Concurrency Theory