International Conference on Application of Concurrency to System Design (2nd 2001 Newcastle upon Tyne, England)