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