Proceedings details

• Fine-grain Concurrency Tony Hoare, 20 pages
• Communicating Process Architecture for Multicores  David May, 12 pages
• Lazy Exploration and Checking of CSP Models with CSPsim  Philip J Brooke, Richard F. Paige, 18 pages
• The Core Language of Aldwych  Matthew Huntbach, 16 pages
• JCSProB: Implementing Integrated Formal Specifications in Concurrent Java  Letu Yang, Michael R. Poppleton, 22 pages
• Components with Symbolic Transition Systems: a Java Implementation of Rendezvous  Fabricio Fernandes, Robin Passama, Jean-Claude Royer, 20 pages
• Concurrent/Reactive System Design with Honeysuckle Ian R. East, 10 pages [PDF]
• CSP and Real-Time: Reality or Illusion?  Bojan Orlic, Jan F. Broenink, 30 pages [PDF]
• Testing and Sampling Parallel Systems  Jon Kerridge, 14 pages [PDF]
• Mobility in JCSP: New Mobile Channel and Mobile Process Models  Kevin Chalmers, Jon Kerridge, Imed Romdhani, 20 pages [PDF]
• C++CSP2: A Many-to-Many Threading  Neil C.C. Brown, 24 pages [PDF]
• Design Principles of the SystemCSP Software Framework  Bojan Orlic, Jan F. Broenink, 22 pages [PDF]
• PyCSP - Communicating Sequential Processes for Python  John Markus Bjørndalen, Brian Vinter, Otto J. Anshus, 20 pages [PDF]
• A Process-Oriented Architecture for Complex System Modelling  Carl G. Ritson, Peter H. Welch, 18 pages [PDF]
• Concurrency Control and Recovery Management for Open e-Business Transactions  Amir R. Razavi, Sotiris K. Moschoyiannis, Paul J. Krause, 20 pages
• trancell - an Experimental ETC to Cell BE Translator  Ulrik Schou Jørgensen, Espen Suenson, 12 pages
• A Versatile Hardware-Software Platform for In-Situ Monitoring Systems  Bernhard H.C. Sputh, Oliver Faust, Alastair R. Allen, 14 pages [PDF]
• High Cohesion and Low Coupling: the Office Mapping Factor  Øyvind Teig, 10 pages [PDF]
• A Process Oriented Approach to USB Driver Development  Carl G. Ritson, Frederick R. M. Barnes, 16 pages
• A Native Transterpreter for the LEGO Mindstorms RCX  Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud, 10 pages [PDF]
• Integrating and Extending JCSP Peter H. Welch, Neil C.C. Brown, James Moores, Kevin Chalmers, Bernhard H.C. Sputh, 21 pages [PDF]
• Hardware/Software Synthesis and Verification Using Esterel  Satnam Singh, 8 pages
• Modeling and Analysis of the AMBA Bus Using CSP and B  Alistair A. McEwan, Steve Schneider, 20 pages [PDF]
• A Step Towards Refining and Translating B Control Annotations to Handel-C  Wilson Ifill, Steve Schneider, 26 pages [PDF]
• Towards the Formal Verification of a Java Processor in Event-B  Neil Grant, Neil Evans, 18 pages
• Advanced System Simulation, Emulation and Test (ASSET)  Gregory Wickstrom, 22 pages
• Development of a Family of Multi-Core Devices Using Hierarchical Abstraction  Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins, 14 pages
• Domain Specific Transformations for Hardware Ray Tracing  Tim Todman, Wayne Luk, 14 pages
• A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions  Tanya Vladimirova, Xiaofeng Wu, 10 pages
• Transactional CSP Processes  Gail Cassar, Patrick Abela, 2 pages
• Algebras of Actions in Concurrent Processes  Mark Burgin, Marc L. Smith, 2 pages
• Using occam-pi Primitives with the Cell Broadband Engine  Damian J. Dimmich, 2 pages [PDF]
• Shared-Memory Multi-Processor Scheduling Algorithms for CCSP  Carl G. Ritson, 2 pages [PDF]
• Compiling occam to C with Tock  Adam T. Sampson, 2 pages [PDF]