Abstract is missing.
- Costing by ConstructionGreg Michaelson. 1-2 [doi]
- National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific SimulationAndrew Turner. 3-4 [doi]
- The Meaning and Implementation of SKIP in CSPThomas Gibson-Robinson, Michael Goldsmith. 5-20 [doi]
- Successful Termination in Timed CSPPaul Howells, Mark d'Inverno. 21-38 [doi]
- Verifying the CPA Networking Stack using SPIN/PromelaKevin Chalmers, Jon M. Kerridge. 39-52 [doi]
- Improving the Performance of Periodic Real-time Processes: a Graph Theoretical ApproachAntoon H. Boode, Hajo Broersma, Jan F. Broenink. 57-80 [doi]
- Scaling PyCSPRune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter. 81-92 [doi]
- Service Oriented Programming in MPISarwar Alam, Humaira Kamal, Alan Wagner. 93-112 [doi]
- Scalable Performance for Scala Message-Passing ConcurrencyAndrew Bate. 113-132 [doi]
- ProcessJ: A Possible Future of Process-Oriented DesignJan Bækgaard Pedersen, Marc L. Smith. 133-156 [doi]
- Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)Paul Howells, Mark d'Inverno. 157-184 [doi]
- Efficient Simulation of CSP-Like LanguagesThomas Gibson-Robinson. 185-204 [doi]
- Selective Choice "Feathering" with XCHANsØyvind Teig. 205-216 [doi]
- The Distributed Application DebuggerMichael Quinn Jones, Jan Bækgaard Pedersen. 217-232 [doi]
- BPU SimulatorMartin Rehr, Kenneth Skovhede, Brian Vinter. 233-248 [doi]
- Exploring GPGPU Acceleration of Process-Oriented SimulationsFrederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll. 249-262 [doi]
- A Personal Perspective on the State of HPC in 2013Christopher C. R. Jones. 263-270 [doi]
- An Evaluation of Intel's Restricted Transactional Memory for CPAsCarl G. Ritson, Frederick R. M. Barnes. 271-292 [doi]
- Life of occam-PiPeter H. Welch. 293-318 [doi]
- Mutually Assured Destruction (or the Joy of Sync)Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes. 319-320 [doi]
- FDR3: the Future of CSP Model CheckingThomas Gibson-Robinson. 321-322 [doi]
- Using FDR to Model Check CSP-Like LanguagesThomas Gibson-Robinson. 323-324 [doi]
- An Introduction to GoRick D. Beton. 325-326 [doi]
- The Guppy Language: an UpdateFrederick R. M. Barnes. 327-328 [doi]
- An occam Model of XCHANsPeter H. Welch. 329-330 [doi]
- Names of XCHAN ImplementationsØyvind Teig. 331-332 [doi]