Title Page -- Preface -- Editorial Board -- Reviewing Committee -- Contents -- Implementing Generalised Alt - A Case Study in Validated Design Using CSP -- Verification of a Dynamic Channel Model Using the SPIN Model Checker -- Programming the CELL-BE Using CSP -- Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces -- Prioritised Choice over Multiway Synchronisation -- An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming -- Experiments in Multicore and Distributed Parallel Processing Using JCSP -- Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems -- LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework -- Concurrent Event-Driven Programming in occam-pi for the Arduino -- Fast Distributed Process Creation with the XMOS XS1 Architecture -- Serving Web Content with Dynamic Process Networks in Go -- Performance of the Distributed CPA Protocol and Architecture on Traditional Networks -- Object Store Based Simulation Interworking -- A Model for Concurrency Using Single-Writer Single-Assignment Variables -- The Computation Time Process Model -- SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces -- Process-Oriented Subsumption Architectures in Swarm Robotic Systems -- A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C -- The Flying Gator: Towards Aerial Robotics in occam-pi -- CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation -- Development of an ML-Based Verification Tool for Timed CSP Processes -- Mobile Processes and Call Channels with Variant Interfaces (a Duality) -- Adding Formal Verification to occam-pi -- Subject Index -- Author Index.