↓ Skip to main content

CONCUR 2013 – Concurrency Theory

Overview of attention for book
Cover of 'CONCUR 2013 – Concurrency Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Reasoning with MAD Distributed Systems
  3. Altmetric Badge
    Chapter 2 The Power of Well-Structured Systems
  4. Altmetric Badge
    Chapter 3 Impact of Resource Sharing on Performance and Performance Prediction: A Survey
  5. Altmetric Badge
    Chapter 4 Concurrency Meets Probability: Theory and Practice
  6. Altmetric Badge
    Chapter 5 Modular Semantics for Transition System Specifications with Negative Premises
  7. Altmetric Badge
    Chapter 6 Mutually Testing Processes
  8. Altmetric Badge
    Chapter 7 Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
  9. Altmetric Badge
    Chapter 8 Merging Partial Behaviour Models with Different Vocabularies
  10. Altmetric Badge
    Chapter 9 Solving Parity Games on Integer Vectors
  11. Altmetric Badge
    Chapter 10 Well-Structured Pushdown Systems
  12. Altmetric Badge
    Chapter 11 A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness
  13. Altmetric Badge
    Chapter 12 Expand, Enlarge, and Check for Branching Vector Addition Systems
  14. Altmetric Badge
    Chapter 13 Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation
  15. Altmetric Badge
    Chapter 14 A Theory of Name Boundedness
  16. Altmetric Badge
    Chapter 15 A Hierarchy of Expressiveness in Concurrent Interaction Nets
  17. Altmetric Badge
    Chapter 16 An Epistemic Perspective on Consistency of Concurrent Computations
  18. Altmetric Badge
    Chapter 17 Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
  19. Altmetric Badge
    Chapter 18 CONCUR 2013 – Concurrency Theory
  20. Altmetric Badge
    Chapter 19 Causality-Based Verification of Multi-threaded Programs
  21. Altmetric Badge
    Chapter 20 CONCUR 2013 – Concurrency Theory
  22. Altmetric Badge
    Chapter 21 Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
  23. Altmetric Badge
    Chapter 22 Reversibility and Asymmetric Conflict in Event Structures
  24. Altmetric Badge
    Chapter 23 The Power of Priority Channel Systems
  25. Altmetric Badge
    Chapter 24 Reachability Probabilities of Quantum Markov Chains
  26. Altmetric Badge
    Chapter 25 Cost Preserving Bisimulations for Probabilistic Automata
  27. Altmetric Badge
    Chapter 26 Compositional Verification and Optimization of Interactive Markov Chains
  28. Altmetric Badge
    Chapter 27 Thermodynamic Graph-Rewriting
  29. Altmetric Badge
    Chapter 28 Globally Governed Session Semantics
  30. Altmetric Badge
    Chapter 29 A General Proof System for Modalities in Concurrent Constraint Programming
  31. Altmetric Badge
    Chapter 30 Compositional Choreographies
  32. Altmetric Badge
    Chapter 31 On Negotiation as Concurrency Primitive
  33. Altmetric Badge
    Chapter 32 Satisfiability of CTL * with Constraints
  34. Altmetric Badge
    Chapter 33 Proof Graphs for Parameterised Boolean Equation Systems
  35. Altmetric Badge
    Chapter 34 Generalizing Simulation to Abstract Domains
  36. Altmetric Badge
    Chapter 35 CONCUR 2013 – Concurrency Theory
  37. Altmetric Badge
    Chapter 36 CONCUR 2013 – Concurrency Theory
  38. Altmetric Badge
    Chapter 37 A Faster Algorithm for Solving One-Clock Priced Timed Games
  39. Altmetric Badge
    Chapter 38 Robust Controller Synthesis in Timed Automata
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
9 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 2013 – Concurrency Theory
Published by
Springer Berlin Heidelberg, July 2013
DOI 10.1007/978-3-642-40184-8
ISBNs
978-3-64-240183-1, 978-3-64-240184-8
Editors

D’Argenio, Pedro R., Melgratti, Hernán

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 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 11%
Student > Bachelor 1 11%
Unknown 7 78%
Readers by discipline Count As %
Computer Science 1 11%
Physics and Astronomy 1 11%
Unknown 7 78%