Login / Signup
CPA
2005
2008
2013
2005
2013
Keyphrases
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
Rinse Wester
,
Dimitrios Sarakiotis
,
Eric Kooistra
,
Jan Kuper
Specification of APERTIF Polyphase Filter Bank in ClaSH.
CPA
(2012)
Ye Li
Implementation of an Agent-based Model with TBB Technique.
CPA
(2012)
Richard Miller
Polyphonic Processors - Fantasy on an FPGA.
CPA
(2012)
Peter H. Welch
Unfinished Business - occam-pi².
CPA
(2012)
Øyvind Teig
XCHANs: Notes on a New Channel Type.
CPA
(2012)
Andrew Bate
,
Gavin Lowe
A Debugger for Communicating Scala Objects.
CPA
(2012)
S. L. M. Barrocas
,
Marcel Oliveira
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java.
CPA
(2012)
Oguzcan Oguz
,
Jan F. Broenink
,
Angelika Mader
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker.
CPA
(2012)
Mads Ohm Larsen
,
Brian Vinter
Exception Handling and Checkpointing in CSP.
CPA
(2012)
Peter H. Welch
Cancellable Servers - a Pattern for Curiousity.
CPA
(2012)
Ian R. East
A CPA Series.
CPA
(2012)
James Whitehead II
Designing a Concurrent File Server.
CPA
(2012)
William B. Gardner
,
Yuriy Solovyov
Supporting Timed CSP Operators in CSP++.
CPA
(2012)
Maarten M. Bezemer
,
Robert J. W. Wilterdink
Developing JIWY using TERRA.
CPA
(2012)
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012
CPA
(2012)
Peter H. Welch
occam Obviously.
CPA
(2012)
S. L. M. Barrocas
JCircus Demo.
CPA
(2012)
Martin Ellis
,
Frederick R. M. Barnes
Data Escape Analysis for Process Oriented Systems.
CPA
(2012)
Neil J. Perrins
,
Alistair A. McEwan
SEU Protection for High-Reliability Flash File Systems.
CPA
(2012)
Alex Cole
Handel-C++ - Adding Syntactic Support to C++.
CPA
(2012)
Irfan F. Mir
,
Alistair A. McEwan
,
Neil J. Perrins
A High Performance Reconfigurable Architecture for Flash File Systems.
CPA
(2012)
Kevin Chalmers
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance.
CPA
(2012)
Adam T. Sampson
Process-Oriented Building Blocks.
CPA
(2012)