↓ 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
Attention for Chapter 16: Session Types as Intuitionistic Linear Propositions
Altmetric Badge

About this Attention Score

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

Mentioned by

twitter
1 X user
q&a
1 Q&A thread

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
52 Mendeley
citeulike
1 CiteULike
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.
Chapter title
Session Types as Intuitionistic Linear Propositions
Chapter number 16
Book title
CONCUR 2010 - Concurrency Theory
Published in
Lecture notes in computer science, January 2010
DOI 10.1007/978-3-642-15375-4_16
Book ISBNs
978-3-64-215374-7, 978-3-64-215375-4
Authors

Caires, Luís, Pfenning, Frank, Luís Caires, Frank Pfenning

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Japan 2 4%
United States 2 4%
United Kingdom 1 2%
Unknown 47 90%

Demographic breakdown

Readers by professional status Count As %
Researcher 12 23%
Student > Master 9 17%
Student > Ph. D. Student 9 17%
Other 5 10%
Student > Bachelor 5 10%
Other 4 8%
Unknown 8 15%
Readers by discipline Count As %
Computer Science 42 81%
Business, Management and Accounting 1 2%
Mathematics 1 2%
Psychology 1 2%
Engineering 1 2%
Other 0 0%
Unknown 6 12%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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 22 July 2022.
All research outputs
#8,026,167
of 24,127,822 outputs
Outputs from Lecture notes in computer science
#2,510
of 8,184 outputs
Outputs of similar age
#50,645
of 170,397 outputs
Outputs of similar age from Lecture notes in computer science
#45
of 189 outputs
Altmetric has tracked 24,127,822 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,184 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one has gotten more attention than average, scoring higher than 54% 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 170,397 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 21st percentile – i.e., 21% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 189 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 59% of its contemporaries.