• 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 20 matches

• 2005
• 
  Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders:
  Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, ISBN 3-540-25813-2 [contents]
• 2004
• 
  Stephen D. Brookes:
  Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes 2004: 1-14
• 
  Michael J. Butler, C. A. R. Hoare, Carla Ferreira:
  A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes 2004: 133-150
• 
  Sadie Creese:
  Industrial Strength CSP: Opportunities and Challenges in Model-Checking. 25 Years Communicating Sequential Processes 2004: 292-292
• 
  Michael Goldsmith:
  Operational Semantics for Fun and Profit. 25 Years Communicating Sequential Processes 2004: 265-274
• 
  Jifeng He:
  Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74
• 
  C. A. R. Hoare:
  Process Algebra: A Unifying Approach. 25 Years Communicating Sequential Processes 2004: 36-60
• 
  Mark B. Josephs:
  Models for Data-Flow Sequential Processes. 25 Years Communicating Sequential Processes 2004: 85-97
• 
  Jonathan Lawrence:
  Practical Application of CSP and FDR to Software Design. 25 Years Communicating Sequential Processes 2004: 151-174
• 
  Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe:
  On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 25 Years Communicating Sequential Processes 2004: 275-291
• 
  Jeff Magee, Jeff Kramer:
  Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes 2004: 211-219
• 
  David May:
  CSP, occam and Transputers. 25 Years Communicating Sequential Processes 2004: 75-84
• 
  Carroll Morgan:
  Of Probabilistic Wp and SP-and Compositionality. 25 Years Communicating Sequential Processes 2004: 220-241
• 
  Ad M. G. Peeters:
  Implementation of Handshake Components. 25 Years Communicating Sequential Processes 2004: 98-132
• 
  Jan Peleska:
  Applied Formal Methods - From CSP to Executable Hybrid Specifications. 25 Years Communicating Sequential Processes 2004: 293-320
• 
  Mike Reed:
  Order, Topology, and Recursion Induction in CSP. 25 Years Communicating Sequential Processes 2004: 242-242
• 
  A. W. Roscoe:
  Seeing Beyond Divergence. 25 Years Communicating Sequential Processes 2004: 15-35
• 
  Peter Y. A. Ryan:
  Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes 2004: 264-264
• 
  Steve A. Schneider, Rob Delicata:
  Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes 2004: 243-263
• 
  Peter H. Welch, Fred R. M. Barnes:
  Communicating Mobile Processes. 25 Years Communicating Sequential Processes 2004: 175-210