Title page -- Preface -- Programme Committee -- Additional Reviewers -- Contents -- Fine-Grain Concurrency -- Communicating Process Architecture for Multicores -- Lazy Exploration and Checking of CSP Models with CSPsim -- The Core Language of Aldwych -- JCSProB: Implementing Integrated Formal Specifications in Concurrent Java -- Components with Symbolic Transition Systems: A Java Implementation of Rendezvous -- Concurrent/Reactive System Design with Honeysuckle -- CSP and Real-Time: Reality or Illusion? -- Testing and Sampling Parallel Systems -- Mobility in JCSP: New Mobile Channel and Mobile Process Models -- C++CSP2: A Many-to-Many Threading Model for Multicore Architectures -- Design Principles of the SystemCSP Software Framework -- PyCSP - Communicating Sequential Processes for Python -- A Process-Oriented Architecture for Complex System Modelling -- Concurrency Control and Recovery Management for Open e-Business Transactions -- trancell - An Experimental ETC to Cell BE Translator -- A Versatile Hardware-Software Platform for In-Situ Monitoring Systems -- High Cohesion and Low Coupling: The Office Mapping Factor -- A Process Oriented Approach to USB Driver Development -- A Native Transterpreter for the LEGO Mindstorms RCX -- Integrating and Extending JCSP -- Hardware/Software Synthesis and Verification Using Esterel -- Modeling and Analysis of the AMBA Bus Using CSP and B -- A Step Towards Refining and Translating B Control Annotations to Handel-C -- Towards the Formal Verification of a Java Processor in Event-B -- Advanced System Simulation, Emulation and Test (ASSET) -- Development of a Family of Multi-Core Devices Using Hierarchical Abstraction -- Domain Specific Transformations for Hardware Ray Tracing -- A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions -- Transactional CSP Processes.

Algebras of Actions in Concurrent Processes -- Using occam-pi Primitives with the Cell Broadband Engine -- Shared-Memory Multi-Processor Scheduling Algorithms for CCSP -- Compiling occam to C with Tock -- Author Index.