↓ 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 4: Linking Theories of Concurrency
Altmetric Badge

Citations

dimensions_citation
25 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Linking Theories of Concurrency
Chapter number 4
Book title
Communicating Sequential Processes. The First 25 Years
Published by
Springer, Berlin, Heidelberg, January 2005
DOI 10.1007/11423348_4
Book ISBNs
978-3-54-025813-1, 978-3-54-032265-8
Authors

He Jifeng, Jifeng, He

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 100%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.