2012 12th International Conference on Application of Concurrency to System Design