Communicating process architectures 2007 : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom

This publication deals with Computer Science and models of Concurrency. It particularly emphasises on hardware/software co-design, and the understanding of concurrency that results from these systems. A range of papers on this topic have been included, from the formal modeling of buses in co-design systems through to software simulation and development environments. The book includes a contribution by Professor Sir Tony Hoare, the founding father of the theoretical basis upon which much of the work in this series is based. He shares his new thoughts on fine-grained concurrency. Another important contribution is by Professor David May. He was chief architect for the Transputer and the occam programming language. The editors trust you will find this publication informative and inspirational. 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 Title page......Page 1 Preface......Page 5 Programme Committee......Page 6 Additional Reviewers......Page 7 Contents......Page 9 Fine-Grain Concurrency......Page 13 Communicating Process Architecture for Multicores......Page 33 Lazy Exploration and Checking of CSP Models with CSPsim......Page 45 The Core Language of Aldwych......Page 63 JCSProB: Implementing Integrated Formal Specifications in Concurrent Java......Page 79 Components with Symbolic Transition Systems: A Java Implementation of Rendezvous......Page 101 Concurrent/Reactive System Design with Honeysuckle......Page 121 CSP and Real-Time: Reality or Illusion?......Page 131 Testing and Sampling Parallel Systems......Page 161 Mobility in JCSP: New Mobile Channel and Mobile Process Models......Page 175 C++CSP2: A Many-to-Many Threading Model for Multicore Architectures......Page 195 Design Principles of the SystemCSP Software Framework......Page 219 PyCSP - Communicating Sequential Processes for Python......Page 241 A Process-Oriented Architecture for Complex System Modelling......Page 261 Concurrency Control and Recovery Management for Open e-Business Transactions......Page 279 trancell - An Experimental ETC to Cell BE Translator......Page 299 A Versatile Hardware-Software Platform for In-Situ Monitoring Systems......Page 311 High Cohesion and Low Coupling: The Office Mapping Factor......Page 325 A Process Oriented Approach to USB Driver Development......Page 335 A Native Transterpreter for the LEGO Mindstorms RCX......Page 351 Integrating and Extending JCSP......Page 361 Hardware/Software Synthesis and Verification Using Esterel......Page 383 Modeling and Analysis of the AMBA Bus Using CSP and B......Page 391 A Step Towards Refining and Translating B Control Annotations to Handel-C......Page 411 Towards the Formal Verification of a Java Processor in Event-B......Page 437 Advanced System Simulation, Emulation and Test (ASSET)......Page 455 Development of a Family of Multi-Core Devices Using Hierarchical Abstraction......Page 477 Domain Specific Transformations for Hardware Ray Tracing......Page 491 A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions......Page 505 Transactional CSP Processes......Page 515 Algebras of Actions in Concurrent Processes......Page 517 Using occam-pi Primitives with the Cell Broadband Engine......Page 519 Shared-Memory Multi-Processor Scheduling Algorithms for CCSP......Page 521 Compiling occam to C with Tock......Page 523 Author Index......Page 525 Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments