Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.