2nd International Conference on Application of Concurrency to System Design, 2001, Newcastle upon Tyne, UK (IEEE Computer Society Press)