default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCPA 2013: Edinburgh, Scotland, UK
- Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson:
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013. Open Channel Publishing Ltd. 2013, ISBN 978-0-9565409-7-3 - Greg Michaelson:
Costing by Construction. 1-2 - Andrew Turner:
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation. 3-4 - Thomas Gibson-Robinson, Michael Goldsmith:
The Meaning and Implementation of SKIP in CSP. 5-20 - Paul Howells, Mark d'Inverno:
Successful Termination in Timed CSP. 21-38 - Kevin Chalmers, Jon M. Kerridge:
Verifying the CPA Networking Stack using SPIN/Promela. 39-52 - Antoon Hendrik Boode, Hajo Broersma, Jan F. Broenink:
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach. 57-80 - Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter:
Scaling PyCSP. 81-92 - Sarwar Alam, Humaira Kamal, Alan Wagner:
Service Oriented Programming in MPI. 93-112 - Andrew Bate:
Scalable Performance for Scala Message-Passing Concurrency. 113-132 - Jan Bækgaard Pedersen, Marc L. Smith:
ProcessJ: A Possible Future of Process-Oriented Design. 133-156 - Paul Howells, Mark d'Inverno:
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). 157-184 - Thomas Gibson-Robinson:
Efficient Simulation of CSP-Like Languages. 185-204 - Øyvind Teig:
Selective Choice "Feathering" with XCHANs. 205-216 - Michael Quinn Jones, Jan Bækgaard Pedersen:
The Distributed Application Debugger. 217-232 - Martin Rehr, Kenneth Skovhede, Brian Vinter:
BPU Simulator. 233-248 - Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll:
Exploring GPGPU Acceleration of Process-Oriented Simulations. 249-262 - Christopher C. R. Jones:
A Personal Perspective on the State of HPC in 2013. 263-270 - Carl G. Ritson, Frederick R. M. Barnes:
An Evaluation of Intel's Restricted Transactional Memory for CPAs. 271-292 - Peter H. Welch:
Life of occam-Pi. 293-318 - Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes:
Mutually Assured Destruction (or the Joy of Sync). 319-320 - Thomas Gibson-Robinson:
FDR3: the Future of CSP Model Checking. 321-322 - Thomas Gibson-Robinson:
Using FDR to Model Check CSP-Like Languages. 323-324 - Rick D. Beton:
An Introduction to Go. 325-326 - Frederick R. M. Barnes:
The Guppy Language: an Update. 327-328 - Peter H. Welch:
An occam Model of XCHANs. 329-330 - Øyvind Teig:
Names of XCHAN Implementations. 331-332
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-15 01:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
