CONCUR 2001 - Concurrency Theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings - Larsen, K. G. 1957-; Nielsen, Mogens, 1949- (Lecture notes in computer science ;, 2001)