Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.