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

Communicating Sequential Processes. The First 25 Years

Overview of attention for book
Communicating Sequential Processes. The First 25 Years
Springer Berlin Heidelberg

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
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (92nd percentile)
  • High Attention Score compared to outputs of the same age and source (89th percentile)

Mentioned by

patent
1 patent
wikipedia
6 Wikipedia pages
q&a
2 Q&A threads

Readers on

mendeley
11 Mendeley
So far, Altmetric has seen 6 citations on 6 Wikipedia pages.
This page shows the most recent Wikipedia articles that mention this research output. Click here to find out how to access more activity, including 2 additional Wikipedia articles.