Application of Concurrency to System Design, International Conference on