Author: International Conference on Application of Concurrency to System Design (11th 2011 Newcastle upon Tyne, U.K.)