Communicating process architectures 2011 : WoTUG-33 : proceedings of the 33rd WoTUG Technical Meeting, 19-22 June 2011, University of Limerick, Ireland

This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. Inside, you will find papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences Preface......Page 6 Editorial Board......Page 7 Reviewing Committee......Page 8 Contents......Page 10 Implementing Generalised Alt - A Case Study in Validated Design Using CSP......Page 12 Verification of a Dynamic Channel Model Using the SPIN Model Checker......Page 46 Programming the CELL-BE Using CSP......Page 66 Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces......Page 82 Prioritised Choice over Multiway Synchronisation......Page 98 An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming......Page 122 Experiments in Multicore and Distributed Parallel Processing Using JCSP......Page 142 Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems......Page 154 LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework......Page 168 Concurrent Event-Driven Programming in occam-pi for the Arduino......Page 188 Fast Distributed Process Creation with the XMOS XS1 Architecture......Page 206 Serving Web Content with Dynamic Process Networks in Go......Page 220 Performance of the Distributed CPA Protocol and Architecture on Traditional Networks......Page 238 Object Store Based Simulation Interworking......Page 254 A Model for Concurrency Using Single-Writer Single-Assignment Variables......Page 266 The Computation Time Process Model......Page 284 SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces......Page 298 Process-Oriented Subsumption Architectures in Swarm Robotic Systems......Page 314 A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C......Page 328 The Flying Gator: Towards Aerial Robotics in occam-pi......Page 340 CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation......Page 352 Development of an ML-Based Verification Tool for Timed CSP Processes......Page 374 Mobile Processes and Call Channels with Variant Interfaces (a Duality)......Page 388 Adding Formal Verification to occam-pi......Page 390 Subject Index......Page 392 Author Index......Page 394