CPA 2007:
Guildford,
Surrey,
UK
Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch (Eds.):
The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007.
Concurrent Systems Engineering Series 65 IOS Press 2007, ISBN 978-1-58603-767-3 
- Tony Hoare:
Fine-grain Concurrency.
1-19
- David May:
Communicating Process Architecture for Multicores.
21-32
- Phillip J. Brooke, Richard F. Paige:
Lazy Exploration and Checking of CSP Models with CSPsim.
33-49
- Matthew M. Huntbach:
The Core Language of Aldwych.
51-66
- Letu Yang, Michael Poppleton:
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java.
67-88
- Fabrício Fernandes, Robin Passama, Jean-Claude Royer:
Components with Symbolic Transition Systems: A Java Implementation of Rendezvous.
89-107
- Ian East:
Concurrent/Reactive System Design with Honeysuckle.
109-118
- Bojan Orlic, Jan F. Broenink:
CSP and Real-Time: Reality or Illusion?
119-147
- Jon M. Kerridge:
Testing and Sampling Parallel Systems.
149-162
- Kevin M. Chalmers, Jon M. Kerridge, Imed Romdhani:
Mobility in JCSP: New Mobile Channel and Mobile Process Models.
163-182
- Neil Brown:
C++CSP2: A Many-to-Many Threading Model for Multicore Architectures.
183-205
- Bojan Orlic, Jan F. Broenink:
Design Principles of the SystemCSP Software Framework.
207-228
- John Markus Bjørndalen, Brian Vinter, Otto J. Anshus:
PyCSP - Communicating Sequential Processes for Python.
229-248
- Carl G. Ritson, Peter H. Welch:
A Process-Oriented Architecture for Complex System Modelling.
249-266
- Amir R. Razavi, Sotiris Moschoyiannis, Paul J. Krause:
Concurrency Control and Recovery Management for Open e-Business Transactions.
267-285
- Ulrik Schou Jørgensen, Espen Suenson:
trancell - an Experimental ETC to Cell BE Translator.
287-297
- Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen:
A Versatile Hardware-Software Platform for In-Situ Monitoring Systems.
299-311
- Øyvind Teig:
High Cohesion and Low Coupling: The Office Mapping Factor.
313-322
- Carl G. Ritson, Fred R. M. Barnes:
A Process Oriented Approach to USB Driver Development.
323-338
- Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud:
A Native Transterpreter for the LEGO Mindstorms RCX.
339-348
- Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh:
Integrating and Extending JCSP.
349-370
- Satnam Singh:
Hardware/Software Synthesis and Verification Using Esterel.
371-378
- Alistair A. McEwan, Steve Schneider:
Modeling and Analysis of the AMBA Bus Using CSP and B.
379-398
- Wilson Ifill, Steve Schneider:
A Step Towards Refining and Translating B Control Annotations to Handel-C.
399-424
- Neil Grant, Neil Evans:
Towards the Formal Verification of a Java Processor in Event-B.
425-442
- Gregory L. Wickstrom:
Advanced System Simulation, Emulation and Test (ASSET).
443-464
- Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins:
Development of a Family of Multi-Core Devices Using Hierarchical Abstraction.
465-477
- Tim Todman, Wayne Luk:
Domain Specific Transformations for Hardware Ray Tracing.
479-492
- Tanya Vladimirova, Xiaofeng Wu:
A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions.
493-502
- Gail Cassar, Patrick Abela:
Transactional CSP Processes.
503
- Mark Burgin, Marc L. Smith:
Algebras of Actions in Concurrent Processes.
505
- Damian J. Dimmich:
Using occam-pi Primitives with the Cell Broadband Engine.
507
- Carl G. Ritson:
Shared-Memory Multi-Processor Scheduling Algorithms for CCSP.
509
- Adam T. Sampson:
Compiling occam to C with Tock.
511
Copyright © Mon Mar 15 03:56:41 2010
by Michael Ley (ley@uni-trier.de)
