25 Years Communicating Sequential Processes: 2004

Semantic Foundations

• Stephen D. Brookes:
  Retracing the Semantics of CSP. 1-14
  
• A. W. Roscoe:
  Seeing Beyond Divergence. 15-35
  

Refinement and Simulation

• C. A. R. Hoare:
  Process Algebra: A Unifying Approach. 36-60
  
• Jifeng He:
  Linking Theories of Concurrency. 61-74
  

Hardware Synthesis

• David May:
  CSP, occam and Transputers. 75-84
  
• Mark B. Josephs:
  Models for Data-Flow Sequential Processes. 85-97
  
• Ad M. G. Peeters:
  Implementation of Handshake Components. 98-132
  

Transactions

• Michael J. Butler, C. A. R. Hoare, Carla Ferreira:
  A Trace Semantics for Long-Running Transactions. 133-150
  
• Jonathan Lawrence:
  Practical Application of CSP and FDR to Software Design. 151-174
  

Concurrent Programming

• Peter H. Welch, Fred R. M. Barnes:
  Communicating Mobile Processes. 175-210
  
• Jeff Magee, Jeff Kramer:
  Model-Based Design of Concurrent Programs. 211-219
  

Linking Theories

• Carroll Morgan:
  Of Probabilistic Wp and SP-and Compositionality. 220-241
  
• Mike Reed:
  Order, Topology, and Recursion Induction in CSP. 242-242
  

Security

• Steve A. Schneider, Rob Delicata:
  Verifying Security Protocols: An Application of CSP. 243-263
  
• Peter Y. A. Ryan:
  Shedding Light on Haunted Corners of Information Security. 264-264
  

Automated Development and Model Checking

• Michael Goldsmith:
  Operational Semantics for Fun and Profit. 265-274
  
• Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe:
  On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. 275-291
  

Industrial Strength CSP

• Sadie Creese:
  Industrial Strength CSP: Opportunities and Challenges in Model-Checking. 292-292
  
• Jan Peleska:
  Applied Formal Methods - From CSP to Executable Hybrid Specifications. 293-320