SMS: CONCUR 2001. concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings / Kim G. Larsen, Mogens Nielsen (eds.).