Author: International Conference on Application of Concurrency to System Design (4th 2004 Hamilton, Ont.)