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

A Decade of Concurrency Reflections and Perspectives

Overview of attention for book
Cover of 'A Decade of Concurrency Reflections and Perspectives'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 16 Data-flow synchronous languages
  3. Altmetric Badge
    Chapter 17 Process algebra with backtracking
  4. Altmetric Badge
    Chapter 18 Some Chemical Abstract Machines
  5. Altmetric Badge
    Chapter 19 Verification tools for finite-state concurrent systems
  6. Altmetric Badge
    Chapter 20 A Decade of Concurrency Reflections and Perspectives
  7. Altmetric Badge
    Chapter 21 An introduction to the theoretical aspects of Coloured Petri Nets
  8. Altmetric Badge
    Chapter 22 Temporal verification of simulation and refinement
  9. Altmetric Badge
    Chapter 23 Verification and specification of concurrent programs
  10. Altmetric Badge
    Chapter 24 Simulation techniques for proving properties of real-time systems
  11. Altmetric Badge
    Chapter 25 A Decade of Concurrency Reflections and Perspectives
  12. Altmetric Badge
    Chapter 26 Interaction diagrams
  13. Altmetric Badge
    Chapter 27 Algebraic theories for name-passing calculi
  14. Altmetric Badge
    Chapter 28 Initial algebra and final coalgebra semantics for concurrency
  15. Altmetric Badge
    Chapter 29 Logical specifications of infinite computations
  16. Altmetric Badge
    Chapter 30 Partial order based design of concurrent systems
Attention for Chapter 26: Interaction diagrams
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
36 Mendeley
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation 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.