↓ Skip to main content

CONCUR 2010 - Concurrency Theory

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
  3. Altmetric Badge
    Chapter 2 Applications of Shellable Complexes to Distributed Computing
  4. Altmetric Badge
    Chapter 3 Concurrency and Composition in a Stochastic World
  5. Altmetric Badge
    Chapter 4 Taming Distributed Asynchronous Systems
  6. Altmetric Badge
    Chapter 5 Trust in Anonymity Networks
  7. Altmetric Badge
    Chapter 6 Learning I/O Automata
  8. Altmetric Badge
    Chapter 7 Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification
  9. Altmetric Badge
    Chapter 8 Information Flow in Interactive Systems
  10. Altmetric Badge
    Chapter 9 From Multi to Single Stack Automata
  11. Altmetric Badge
    Chapter 10 A Geometric Approach to the Problem of Unique Decomposition of Processes
  12. Altmetric Badge
    Chapter 11 A Logic for True Concurrency
  13. Altmetric Badge
    Chapter 12 CONCUR 2010 - Concurrency Theory
  14. Altmetric Badge
    Chapter 13 Bisimilarity of One-Counter Processes Is PSPACE-Complete
  15. Altmetric Badge
    Chapter 14 Nash Equilibria for Reachability Objectives in Multi-player Timed Games
  16. Altmetric Badge
    Chapter 15 Stochastic Real-Time Games with Qualitative Timed Automata Objectives
  17. Altmetric Badge
    Chapter 16 Session Types as Intuitionistic Linear Propositions
  18. Altmetric Badge
    Chapter 17 Session Types for Access and Information Flow Control
  19. Altmetric Badge
    Chapter 18 Simulation Distances
  20. Altmetric Badge
    Chapter 19 CONCUR 2010 - Concurrency Theory
  21. Altmetric Badge
    Chapter 20 Obliging Games
  22. Altmetric Badge
    Chapter 21 Multipebble Simulations for Alternating Automata
  23. Altmetric Badge
    Chapter 22 Parameterized Verification of Ad Hoc Networks
  24. Altmetric Badge
    Chapter 23 Termination in Impure Concurrent Languages
  25. Altmetric Badge
    Chapter 24 Buffered Communication Analysis in Distributed Multiparty Sessions
  26. Altmetric Badge
    Chapter 25 Efficient Bisimilarities from Second-Order Reaction Semantics for π -Calculus
  27. Altmetric Badge
    Chapter 26 On the Use of Non-deterministic Automata for Presburger Arithmetic
  28. Altmetric Badge
    Chapter 27 Reasoning about Optimistic Concurrency Using a Program Logic for History
  29. Altmetric Badge
    Chapter 28 Theory by Process
  30. Altmetric Badge
    Chapter 29 On the Compositionality of Round Abstraction
  31. Altmetric Badge
    Chapter 30 A Linear Account of Session Types in the Pi Calculus
  32. Altmetric Badge
    Chapter 31 Generic Forward and Backward Simulations II: Probabilistic Simulation
  33. Altmetric Badge
    Chapter 32 Kleene, Rabin, and Scott Are Available
  34. Altmetric Badge
    Chapter 33 Reversing Higher-Order Pi
  35. Altmetric Badge
    Chapter 34 Modal Logic over Higher Dimensional Automata
  36. Altmetric Badge
    Chapter 35 A Communication Based Model for Games of Imperfect Information
  37. Altmetric Badge
    Chapter 36 CONCUR 2010 - Concurrency Theory
  38. Altmetric Badge
    Chapter 37 Conditional Automata: A Tool for Safe Removal of Negligible Events
  39. Altmetric Badge
    Chapter 38 Representations of Petri Net Interactions
  40. Altmetric Badge
    Chapter 39 Communicating Transactions
  41. Altmetric Badge
    Chapter 40 Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (64th percentile)
  • Good Attention Score compared to outputs of the same age and source (76th percentile)

Mentioned by

2 tweeters
1 Q&A thread


5 Dimensions

Readers on

11 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.
CONCUR 2010 - Concurrency Theory
Published by
ADS, August 2010
DOI 10.1007/978-3-642-15375-4
978-3-64-215374-7, 978-3-64-215375-4

Gastin, Paul, Laroussinie, François

Twitter Demographics

The data shown below were collected from the profiles of 2 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
Spain 1 9%
Italy 1 9%
Unknown 9 82%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 2 18%
Researcher 2 18%
Student > Ph. D. Student 2 18%
Professor 1 9%
Student > Master 1 9%
Other 2 18%
Unknown 1 9%
Readers by discipline Count As %
Computer Science 9 82%
Business, Management and Accounting 1 9%
Unknown 1 9%

Attention Score in Context

This research output has an Altmetric Attention Score of 4. 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 10 June 2016.
All research outputs
of 15,347,231 outputs
Outputs from ADS
of 29,218 outputs
Outputs of similar age
of 274,862 outputs
Outputs of similar age from ADS
of 175 outputs
Altmetric has tracked 15,347,231 research outputs across all sources so far. This one has received more attention than most of these and is in the 69th percentile.
So far Altmetric has tracked 29,218 research outputs from this source. They receive a mean Attention Score of 4.3. This one has done well, scoring higher than 75% 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 274,862 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 64% of its contemporaries.
We're also able to compare this research output to 175 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 76% of its contemporaries.