Proceedings details

Title: Communicating Process Architectures 2013
Editors: Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
Publisher: Open Channel Publishing Ltd., Bicester
ISBN: 978-0-9565409-7-3
Items:

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

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.