CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings - Larsen, Kim G.; Larsen, Kim G.; Nielsen, Mogens; Nielsen, Mogens (Springer Berlin Heidelberg : Imprint: Springer, 2001)