↓ Skip to main content

CONCUR 2009 - Concurrency Theory

Overview of attention for book
Cover of 'CONCUR 2009 - Concurrency Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Perspectives on Transactional Memory
  3. Altmetric Badge
    Chapter 2 The Effect of Tossing Coins in Omega-Automata
  4. Altmetric Badge
    Chapter 3 Bigraphical Categories
  5. Altmetric Badge
    Chapter 4 BlenX Static and Dynamic Semantics
  6. Altmetric Badge
    Chapter 5 Flow Policy Awareness for Distributed Mobile Code
  7. Altmetric Badge
    Chapter 6 Volume and Entropy of Regular Timed Languages: Discretization Approach
  8. Altmetric Badge
    Chapter 7 A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types
  9. Altmetric Badge
    Chapter 8 Encoding Asynchronous Interactions Using Open Petri Nets
  10. Altmetric Badge
    Chapter 9 Distributed Asynchronous Automata
  11. Altmetric Badge
    Chapter 10 Algebra for Infinite Forests with an Application to the Temporal Logic EF
  12. Altmetric Badge
    Chapter 11 Deriving Syntax and Axioms for Quantitative Regular Behaviours
  13. Altmetric Badge
    Chapter 12 Weighted Bisimulation in Linear Algebraic Form
  14. Altmetric Badge
    Chapter 13 A Logic-Based Framework for Reasoning about Composite Data Structures
  15. Altmetric Badge
    Chapter 14 Measuring Permissivity in Finite Games
  16. Altmetric Badge
    Chapter 15 Contracts for Mobile Processes
  17. Altmetric Badge
    Chapter 16 Power of Randomization in Automata on Infinite Strings
  18. Altmetric Badge
    Chapter 17 Probabilistic Weighted Automata
  19. Altmetric Badge
    Chapter 18 Partially-Commutative Context-Free Processes
  20. Altmetric Badge
    Chapter 19 Testing Finitary Probabilistic Processes
  21. Altmetric Badge
    Chapter 20 A Demonic Approach to Information in Probabilistic Systems
  22. Altmetric Badge
    Chapter 21 HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
  23. Altmetric Badge
    Chapter 22 Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
  24. Altmetric Badge
    Chapter 23 Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
  25. Altmetric Badge
    Chapter 24 Model-Checking Games for Fixpoint Logics with Partial Order Models
  26. Altmetric Badge
    Chapter 25 Reachability in Succinct and Parametric One-Counter Automata
  27. Altmetric Badge
    Chapter 26 Winning Regions of Pushdown Parity Games: A Saturation Method
  28. Altmetric Badge
    Chapter 27 Concurrent Kleene Algebra
  29. Altmetric Badge
    Chapter 28 Concavely-Priced Probabilistic Timed Automata
  30. Altmetric Badge
    Chapter 29 Compositional Control Synthesis for Partially Observable Systems
  31. Altmetric Badge
    Chapter 30 Howe’s Method for Calculi with Passivation
  32. Altmetric Badge
    Chapter 31 On the Relationship between π -Calculus and Finite Place/Transition Petri Nets
  33. Altmetric Badge
    Chapter 32 Modeling Radio Networks
  34. Altmetric Badge
    Chapter 33 Time-Bounded Verification
  35. Altmetric Badge
    Chapter 34 Secure Enforcement for Global Process Specifications
  36. Altmetric Badge
    Chapter 35 On Convergence of Concurrent Systems under Regular Interactions
  37. Altmetric Badge
    Chapter 36 Computing Stuttering Simulations
  38. Altmetric Badge
    Chapter 37 Weak Time Petri Nets Strike Back!
  39. Altmetric Badge
    Chapter 38 A General Testability Theory
  40. Altmetric Badge
    Chapter 39 Counterexamples in Probabilistic LTL Model Checking for Markov Chains
  41. Altmetric Badge
    Chapter 40 Query-Based Model Checking of Ad Hoc Network Protocols
  42. Altmetric Badge
    Chapter 41 Strict Divergence for Probabilistic Timed Automata
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
  • Good Attention Score compared to outputs of the same age (73rd percentile)
  • High Attention Score compared to outputs of the same age and source (80th percentile)

Mentioned by

wikipedia
3 Wikipedia pages
q&a
1 Q&A thread

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
5 Mendeley
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.
Title
CONCUR 2009 - Concurrency Theory
Published by
ADS, August 2009
DOI 10.1007/978-3-642-04081-8
ISBNs
978-3-64-204080-1, 978-3-64-204081-8
Editors

Bravetti, Mario, Zavattaro, Gianluigi

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 1 20%
Unknown 4 80%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Professor 1 20%
Student > Bachelor 1 20%
Unknown 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Business, Management and Accounting 1 20%
Unknown 1 20%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 6. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 15 September 2020.
All research outputs
#5,601,542
of 23,012,811 outputs
Outputs from ADS
#7,071
of 37,447 outputs
Outputs of similar age
#29,345
of 109,942 outputs
Outputs of similar age from ADS
#76
of 389 outputs
Altmetric has tracked 23,012,811 research outputs across all sources so far. Compared to these this one has done well and is in the 75th percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 37,447 research outputs from this source. They receive a mean Attention Score of 4.6. This one has done well, scoring higher than 80% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 109,942 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 73% of its contemporaries.
We're also able to compare this research output to 389 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 80% of its contemporaries.