• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 27 matches

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