Title page -- Preface -- Programme Committee -- Contents -- Interfacing with Honeysuckle by Formal Contract -- Groovy Parallel! A Return to the Spirit of occam? -- On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software -- Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA -- JCSP-Poison: Safe Termination of CSP Process Networks -- jcsp.mobile: A Package Enabling Mobile Processes and Channels -- CSP++: How Faithful to CSPm? -- Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams -- Improving TCP/IP Multicasting with Message Segmentation -- Lazy Cellular Automata with Communicating Processes -- A Unifying Theory of True Concurrency Based on CSP and Lazy Observation -- The Architecture of the Minimum intrusion Grid (MiG) -- Verification of JCSP Programs -- Architecture Design Space Exploration for Streaming Applications through Timing Analysis -- A Foreign-Function Interface Generator for occam-pi -- Interfacing C and occam-pi -- Interactive Computing with the Minimum intrusion Grid (MiG) -- High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog -- Mobile Barriers for occam-pi: Semantics, Implementation and Application -- Exception Handling Mechanism in Communicating Threads for Java -- R16: A New Transputer Design for FPGAs -- Towards Strong Mobility in the Shared Source CLI -- gCSP occam Code Generation for RMoX -- Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach -- Communication and Synchronization in the Cell Processor (Invited Talk) -- Homogeneous Multiprocessing for Consumer Electronics (Invited Talk) -- Handshake Technology: High Way to Low Power (Invited Talk) -- If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk) -- Author Index.

The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person - maybe not even a small team - can understand all aspects and all interactions. The only hope of making such systems work is to ensure that all components are correct by design and that the components can be combined to achieve scalability. A crucial property is that the cost of making a change to a system depends linearly on the size of that change - not on the size of the system being changed. Of course, this must be true whether that change is a matter of maintenance (e.g. to take advantage of upcoming multiprocessor hardware) or the addition of new functionality. One key is that system composition (and disassembly) introduces no surprises. A component must behave consistently, no matter the context in which it is used - which means that component interfaces must be explicit, published and free from hidden side-effect. This publication offers strongly refereed high-quality papers covering many differing aspects: system design and implementation (for both hardware and software), tools (concurrent programming languages, libraries and run-time kernels), formal methods and applications.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2018. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.