International Conference on Concurrency Theory (12th 2001 Aalborg, Denmark)