25 Years Communicating Sequential Processes: 2004

Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.): 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 BibTeX

Semantic Foundations

Stephen D. Brookes:
Retracing the Semantics of CSP. 1-14
Electronic Edition (link) BibTeX
A. W. Roscoe:
Seeing Beyond Divergence. 15-35
Electronic Edition (link) BibTeX

Refinement and Simulation

C. A. R. Hoare:
Process Algebra: A Unifying Approach. 36-60
Electronic Edition (link) BibTeX
Jifeng He:
Linking Theories of Concurrency. 61-74
Electronic Edition (link) BibTeX

Hardware Synthesis

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

Transactions

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

Concurrent Programming

Peter H. Welch, Fred R. M. Barnes:
Communicating Mobile Processes. 175-210
Electronic Edition (link) BibTeX
Jeff Magee, Jeff Kramer:
Model-Based Design of Concurrent Programs. 211-219
Electronic Edition (link) BibTeX

Linking Theories

Carroll Morgan:
Of Probabilistic Wp and SP-and Compositionality. 220-241
Electronic Edition (link) BibTeX
Mike Reed:
Order, Topology, and Recursion Induction in CSP. 242-242
Electronic Edition (link) BibTeX

Security

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

Automated Development and Model Checking

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

Industrial Strength CSP

Sadie Creese:
Industrial Strength CSP: Opportunities and Challenges in Model-Checking. 292-292
Electronic Edition (link) BibTeX
Jan Peleska:
Applied Formal Methods - From CSP to Executable Hybrid Specifications. 293-320
Electronic Edition (link) BibTeX

Copyright © Sat May 16 22:59:40 2009 by Michael Ley (ley@uni-trier.de)