Pošljite SMS: CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings / K.G. Larsen, M. Nielsen (eds.).