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

Understanding Concurrent Systems

Overview of attention for book
Cover of 'Understanding Concurrent Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Building a Simple Sequential Process
  3. Altmetric Badge
    Chapter 2 Understanding CSP
  4. Altmetric Badge
    Chapter 3 Parallel Operators
  5. Altmetric Badge
    Chapter 4 CSP Case Studies
  6. Altmetric Badge
    Chapter 5 Hiding and Renaming
  7. Altmetric Badge
    Chapter 6 Beyond Traces
  8. Altmetric Badge
    Chapter 7 Further Operators
  9. Altmetric Badge
    Chapter 8 Using FDR
  10. Altmetric Badge
    Chapter 9 Operational Semantics
  11. Altmetric Badge
    Chapter 10 Denotational Semantics and Behavioural Models
  12. Altmetric Badge
    Chapter 11 Finite Observation Models
  13. Altmetric Badge
    Chapter 12 Infinite-Behaviour Models
  14. Altmetric Badge
    Chapter 13 The Algebra of CSP
  15. Altmetric Badge
    Chapter 14 Timed Systems 1: tock -CSP
  16. Altmetric Badge
    Chapter 15 Timed Systems 2: Discrete Timed CSP
  17. Altmetric Badge
    Chapter 16 More About FDR
  18. Altmetric Badge
    Chapter 17 State Explosion and Parameterised Verification
  19. Altmetric Badge
    Chapter 18 Shared-Variable Programs
  20. Altmetric Badge
    Chapter 19 Understanding Shared-Variable Concurrency
  21. Altmetric Badge
    Chapter 20 Priority and Mobility
Attention for Chapter 6: Beyond Traces
Altmetric Badge

Citations

dimensions_citation
240 Dimensions

Readers on

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

240

The most recent citing publications are shown below. View all 240 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.