CONCUR 2001 — Concurrency Theory : 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings - Larsen, Kim Guldstrand (Verfasser); Nielsen, Mogens (Verfasser) (Lecture Notes in Computer Science, 2001)