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