- Maarten M. Bezemer, Robert J. W. Wilterdink:
Developing JIWY using TERRA. CPA 2012 - Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink:
Design and Use of CSP Meta-Model for Embedded Control Software Development. CPA 2012: 185-200 - Kevin Chalmers:
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. CPA 2012: 107-120 - Alex Cole:
Handel-C++ - Adding Syntactic Support to C++. CPA 2012 - Alex Cole, Alistair A. McEwan, Geoff Mainland:
Beauty And The Beast: Exploiting GPUs In Haskell. CPA 2012: 121-134 - Ian R. East:
A CPA Series. CPA 2012 - Martin Ellis, Frederick R. M. Barnes:
Data Escape Analysis for Process Oriented Systems. CPA 2012: 217-218 - William B. Gardner, Yuriy Solovyov:
Supporting Timed CSP Operators in CSP++. CPA 2012: 89-106 - Anna Magdalena Kosek, Oliver Gehrke:
A Distributed Multi-Agent Control System for Power Consumption in Buildings. CPA 2012: 37-52 - Mads Ohm Larsen, Brian Vinter:
Exception Handling and Checkpointing in CSP. CPA 2012: 201-212 - Ye Li:
Implementation of an Agent-based Model with TBB Technique. CPA 2012 - Richard Miller:
Polyphonic Processors - Fantasy on an FPGA. CPA 2012 - Irfan F. Mir, Alistair A. McEwan, Neil J. Perrins:
A High Performance Reconfigurable Architecture for Flash File Systems. CPA 2012: 171-184 - Oguzcan Oguz, Jan F. Broenink, Angelika Mader:
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. CPA 2012: 65-88 - Neil J. Perrins, Alistair A. McEwan:
SEU Protection for High-Reliability Flash File Systems. CPA 2012: 219-220 - Adam T. Sampson:
Process-Oriented Building Blocks. CPA 2012: 215-216 - Øyvind Teig:
XCHANs: Notes on a New Channel Type. CPA 2012: 155-170 - Peter H. Welch:
occam Obviously. CPA 2012: 213-214 - Peter H. Welch:
Cancellable Servers - a Pattern for Curiousity. CPA 2012 - Peter H. Welch:
Unfinished Business - occam-pi². CPA 2012 - Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper:
Specification of APERTIF Polyphase Filter Bank in ClaSH. CPA 2012: 53-64 - James Whitehead II:
Designing a Concurrent File Server. CPA 2012: 1-14 - Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson:
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012. Open Channel Publishing Ltd. 2012, ISBN 978-0-9565409-5-9 [contents] - 2011
- Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud:
The Flying Gator: Towards Aerial Robotics in occam-π. CPA 2011: 329-340 - Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink:
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework. CPA 2011: 157-175 - Eric Bonnici, Peter H. Welch:
Mobile Processes and Call Channels with Variant Interfaces (a Duality). CPA 2011: 377 - Kevin Chalmers:
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. CPA 2011: 227-242 - Alex Cole, Alistair A. McEwan
, Satnam Singh:
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. CPA 2011: 111-130 - Rune Møllegaard Friborg, Brian Vinter:
Verification of a Dynamic Channel Model using the SPIN Model Checker. CPA 2011: 35-54 - James W. Hanlon, Simon J. Hollis:
Fast Distributed Process Creation with the XMOS XS1 Architecture. CPA 2011: 195-207