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

Advances in Petri Nets 1987

Overview of attention for book
Cover of 'Advances in Petri Nets 1987'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 17 Specification and properties of a cache coherence protocol model
  3. Altmetric Badge
    Chapter 18 GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems
  4. Altmetric Badge
    Chapter 19 Recent results on the complexity of problems related to Petri nets
  5. Altmetric Badge
    Chapter 20 Algebraic structure of flows of a regular coloured net
  6. Altmetric Badge
    Chapter 21 On equivalent execution semantics of concurrent systems
  7. Altmetric Badge
    Chapter 22 Mathematical methods for calculating invariants in Petri nets
  8. Altmetric Badge
    Chapter 23 On Petri nets with deterministic and exponentially distributed firing times
  9. Altmetric Badge
    Chapter 24 An accurate performance model of CSMA/CD bus LAN
  10. Altmetric Badge
    Chapter 25 Petri net models for the λ-calculus
  11. Altmetric Badge
    Chapter 26 Fair processes
  12. Altmetric Badge
    Chapter 27 Operational Petri net semantics for CCSP
  13. Altmetric Badge
    Chapter 28 Infinitary languages of Petri nets and logical sentences
  14. Altmetric Badge
    Chapter 29 A strong part of concurrency
  15. Altmetric Badge
    Chapter 30 Concurrency and continuity
  16. Altmetric Badge
    Chapter 31 Parallel systems specifications with coloured Petri nets and algebraic specifications
  17. Altmetric Badge
    Chapter 32 Bibliography of Petri nets
Attention for Chapter 17: Specification and properties of a cache coherence protocol model
Altmetric Badge

Citations

dimensions_citation
10 Dimensions
Summary Dimensions citations
So far, Dimensions has found 10 publications that cite this research output.

10

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