25 Years Communicating Sequential Processes

Keyphrases

Publications

2004

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)
David May
CSP, occam and Transputers. 25 Years Communicating Sequential Processes (2004)
Peter H. Welch, Fred R. M. Barnes
Communicating Mobile Processes. 25 Years Communicating Sequential Processes (2004)
Sadie Creese
Industrial Strength CSP: Opportunities and Challenges in Model-Checking. 25 Years Communicating Sequential Processes (2004)
Peter Y. A. Ryan
Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes (2004)
A. W. Roscoe
Seeing Beyond Divergence. 25 Years Communicating Sequential Processes (2004)
Jeff Magee, Jeff Kramer
Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes (2004)
Michael Goldsmith
Operational Semantics for Fun and Profit. 25 Years Communicating Sequential Processes (2004)
Jonathan Lawrence
Practical Application of CSP and FDR to Software Design. 25 Years Communicating Sequential Processes (2004)
Mike Reed
Order, Topology, and Recursion Induction in CSP. 25 Years Communicating Sequential Processes (2004)
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes (2004)
Steve A. Schneider, Rob Delicata
Verifying Security Protocols: An Application of CSP. 25 Years Communicating Sequential Processes (2004)
Ad M. G. Peeters
Implementation of Handshake Components. 25 Years Communicating Sequential Processes (2004)
Stephen D. Brookes
Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes (2004)
Jifeng He
Linking Theories of Concurrency. 25 Years Communicating Sequential Processes (2004)
C. A. R. Hoare
Process Algebra: A Unifying Approach. 25 Years Communicating Sequential Processes (2004)
Jan Peleska
Applied Formal Methods - From CSP to Executable Hybrid Specifications. 25 Years Communicating Sequential Processes (2004)
Carroll Morgan
Of Probabilistic Wp and SP-and Compositionality. 25 Years Communicating Sequential Processes (2004)
Mark B. Josephs
Models for Data-Flow Sequential Processes. 25 Years Communicating Sequential Processes (2004)