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