↓ Skip to main content
What is this page? Embed badge

Communicating Sequential Processes. The First 25 Years

Overview of attention for book
Cover of 'Communicating Sequential Processes. The First 25 Years'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Retracing the Semantics of CSP
  3. Altmetric Badge
    Chapter 2 Seeing Beyond Divergence
  4. Altmetric Badge
    Chapter 3 Process Algebra: A Unifying Approach
  5. Altmetric Badge
    Chapter 4 Linking Theories of Concurrency
  6. Altmetric Badge
    Chapter 5 CSP, occam and Transputers
  7. Altmetric Badge
    Chapter 6 Models for Data-Flow Sequential Processes
  8. Altmetric Badge
    Chapter 7 Implementation of Handshake Components
  9. Altmetric Badge
    Chapter 8 A Trace Semantics for Long-Running Transactions
  10. Altmetric Badge
    Chapter 9 Practical Application of CSP and FDR to Software Design
  11. Altmetric Badge
    Chapter 10 Communicating Sequential Processes. The First 25 Years
  12. Altmetric Badge
    Chapter 11 Model-Based Design of Concurrent Programs
  13. Altmetric Badge
    Chapter 12 Of Probabilistic wp and CSP —and Compositionality
  14. Altmetric Badge
    Chapter 13 Order, Topology, and Recursion Induction in CSP
  15. Altmetric Badge
    Chapter 14 Communicating Sequential Processes. The First 25 Years
  16. Altmetric Badge
    Chapter 15 Shedding Light on Haunted Corners of Information Security
  17. Altmetric Badge
    Chapter 16 Operational Semantics for Fun and Profit
  18. Altmetric Badge
    Chapter 17 On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
  19. Altmetric Badge
    Chapter 18 Industrial Strength CSP: Opportunities and Challenges in Model-Checking
  20. Altmetric Badge
    Chapter 19 Applied Formal Methods – From CSP to Executable Hybrid Specifications
Attention for Chapter 12: Of Probabilistic wp and CSP —and Compositionality
Altmetric Badge

Citations

dimensions_citation
25 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
So far, Dimensions has found 25 publications that cite this research output.

25

The most recent citing publications are shown below. View all 25 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.