Title page -- Preface -- Editorial Board -- Reviewing Committee -- Contents -- Beyond Mobility: What Next After CSP/pi? -- The SCOOP Concurrency Model in Java-Like Languages -- Combining Partial Order Reduction with Bounded Model Checking -- On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication -- Analysing gCSP Models Using Runtime and Model Analysis Algorithms -- Relating and Visualising CSP, VCR and Structural Traces -- Designing a Mathematically Verified I2C Device Driver Using ASD -- Mobile Escape Analysis for occam-pi -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) -- Translating ETC to LLVM Assembly -- Resumable Java Bytecode. Process Mobility for the JVM -- OpenComRTOS: A Runtime Environment for Interacting Entities -- Economics of Cloud Computing: A Statistical Genetics Case Study -- An Application of CoSMoS Design Methods to Pedestrian Simulation -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures -- Auto-Mobiles: Optimised Message-Passing -- A Denotational Study of Mobility -- PyCSP Revisited -- Three Unique Implementations of Processes for PyCSP -- CSP as a Domain-Specific Language Embedded in Python and Jython -- Hydra: A Python Framework for Parallel Computing -- Extending CSP with Tests for Availability -- Design Patterns for Communicating Systems with Deadline Propagation -- JCSP Agents-Based Service Discovery for Pervasive Computing -- Toward Process Architectures for Behavioural Robotics -- HW/SW Design Space Exploration on the Production Cell Setup -- Engineering Emergence: An occam-ƒÎ Adventure -- Subject Index -- Author Index.