Cover -- Title page -- Contents -- Preface -- Programme Committee -- Papers -- Semantics of prialt in Handel-C™ -- Acceptances, Behaviours and Infinite Activity in CSPP -- HCSP: Imperative State and True Concurrency -- Consolidating the Agreement Problem Protocol Verification Environment -- On the Complexity of Buffer Allocation in Message Passing Systems -- Java PastSet - A Structured Distributed Shared Memory System -- Synchronous Active Objects Introduce CSP's Primitives in Java -- Configurable Collective Communication in LAM-MPI -- Cache-Affinity Scheduling for Fine Grain Multithreading -- A Predicate Transformer Semantics for a Concurrent Language of Refinement -- Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs -- Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems -- Configuration Discovery and Mapping of a Home Network -- Cluster Computing and JCSP Networking -- View-Centric Reasoning for Linda and Tuple Space Computation -- A Graphical Modeling Language for Specifying Concurrency based on CSP -- The "Honeysuckle" Programming Language: Event and Process -- The "Honeysuckle" Programming Language: Object and Protocol -- A Communicating Threads (CT) Case Study: JIWY -- Prioritised Dynamic Communicating Processes - Part I -- Prioritised Dynamic Communicating Processes - Part II -- Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs -- Author Index.