CPA

Publications

2013

Thomas Gibson-Robinson
Efficient Simulation of CSP-Like Languages. CPA (2013)
Rick D. Beton
An Introduction to Go. CPA (2013)
Antoon H. Boode, Hajo Broersma, Jan F. Broenink
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach. CPA (2013)
Carl G. Ritson, Frederick R. M. Barnes
An Evaluation of Intel's Restricted Transactional Memory for CPAs. CPA (2013)
Martin Rehr, Kenneth Skovhede, Brian Vinter
BPU Simulator. CPA (2013)
Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter
Scaling PyCSP. CPA (2013)
Paul Howells, Mark d'Inverno
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). CPA (2013)
Peter H. Welch
An occam Model of XCHANs. CPA (2013)
Thomas Gibson-Robinson, Michael Goldsmith
The Meaning and Implementation of SKIP in CSP. CPA (2013)
Christopher C. R. Jones
A Personal Perspective on the State of HPC in 2013. CPA (2013)
Jan Bækgaard Pedersen, Marc L. Smith
ProcessJ: A Possible Future of Process-Oriented Design. CPA (2013)
Øyvind Teig
Selective Choice "Feathering" with XCHANs. CPA (2013)
Peter H. Welch
Life of occam-Pi. CPA (2013)
Kevin Chalmers, Jon M. Kerridge
Verifying the CPA Networking Stack using SPIN/Promela. CPA (2013)
Greg Michaelson
Costing by Construction. CPA (2013)
Andrew Bate
Scalable Performance for Scala Message-Passing Concurrency. CPA (2013)
Frederick R. M. Barnes
The Guppy Language: an Update. CPA (2013)
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013 CPA (2013)
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes
Mutually Assured Destruction (or the Joy of Sync). CPA (2013)
Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll
Exploring GPGPU Acceleration of Process-Oriented Simulations. CPA (2013)
Michael Quinn Jones, Jan Bækgaard Pedersen
The Distributed Application Debugger. CPA (2013)
Thomas Gibson-Robinson
FDR3: the Future of CSP Model Checking. CPA (2013)
Sarwar Alam, Humaira Kamal, Alan Wagner
Service Oriented Programming in MPI. CPA (2013)
Andrew Turner
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation. CPA (2013)
Øyvind Teig
Names of XCHAN Implementations. CPA (2013)
Paul Howells, Mark d'Inverno
Successful Termination in Timed CSP. CPA (2013)
Thomas Gibson-Robinson
Using FDR to Model Check CSP-Like Languages. CPA (2013)

2012