↓ Skip to main content

CONCUR 2003 - Concurrency Theory

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Distributed Monitoring of Concurrent and Asynchronous Systems
  3. Altmetric Badge
    Chapter 2 Synthesis of Distributed Algorithms Using Asynchronous Automata
  4. Altmetric Badge
    Chapter 3 Compression of Partially Ordered Strings
  5. Altmetric Badge
    Chapter 4 Bundle Event Structures and CCSP
  6. Altmetric Badge
    Chapter 5 Syntactic Formats for Free
  7. Altmetric Badge
    Chapter 6 Priority Rewrite Systems for OSOS Process Languages
  8. Altmetric Badge
    Chapter 7 Quantitative Verification and Control via the Mu-Calculus
  9. Altmetric Badge
    Chapter 8 Playing Games with Boxes and Diamonds
  10. Altmetric Badge
    Chapter 9 The Element of Surprise in Timed Games
  11. Altmetric Badge
    Chapter 10 Deciding Bisimilarity between BPA and BPP Processes
  12. Altmetric Badge
    Chapter 11 Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management
  13. Altmetric Badge
    Chapter 12 Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,...
  14. Altmetric Badge
    Chapter 13 A Process-Algebraic Language for Probabilistic I/O Automata
  15. Altmetric Badge
    Chapter 14 Compositionality for Probabilistic Automata
  16. Altmetric Badge
    Chapter 15 Satisfiability and Model Checking for MSO-Definable Temporal Logics Are in PSPACE
  17. Altmetric Badge
    Chapter 16 Equivalence Checking of Non-flat Systems Is EXPTIME-Hard
  18. Altmetric Badge
    Chapter 17 Model Checking a Path
  19. Altmetric Badge
    Chapter 18 Multi-valued Model Checking via Classical Model Checking
  20. Altmetric Badge
    Chapter 19 An Extension of Pushdown System and Its Model Checking Method
  21. Altmetric Badge
    Chapter 20 Netcharts: Bridging the Gap between HMSCs and Executable Specifications
  22. Altmetric Badge
    Chapter 21 High-Level Message Sequence Charts and Projections
  23. Altmetric Badge
    Chapter 22 Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
  24. Altmetric Badge
    Chapter 23 Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
  25. Altmetric Badge
    Chapter 24 Contract Signing, Optimism, and Advantage
  26. Altmetric Badge
    Chapter 25 CONCUR 2003 - Concurrency Theory
  27. Altmetric Badge
    Chapter 26 Modeling Consensus in a Process Calculus
  28. Altmetric Badge
    Chapter 27 Linear Forwarders
  29. Altmetric Badge
    Chapter 28 Abstract Patterns of Compositional Reasoning
  30. Altmetric Badge
    Chapter 29 Relating Fairness and Timing in Process Algebras
  31. Altmetric Badge
    Chapter 30 A Compositional Semantic Theory for Synchronous Component-Based Design
  32. Altmetric Badge
    Chapter 31 Conditional Expectation and the Approximation of Labelled Markov Processes
  33. Altmetric Badge
    Chapter 32 Comparative Branching-Time Semantics for Markov Chains
  34. Altmetric Badge
    Chapter 33 Quantitative Relations and Approximate Process Equivalences
Attention for Chapter 9: The Element of Surprise in Timed Games
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
18 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.
Chapter title
The Element of Surprise in Timed Games
Chapter number 9
Book title
CONCUR 2003 - Concurrency Theory
Published by
Springer, Berlin, Heidelberg, September 2003
DOI 10.1007/978-3-540-45187-7_9
Book ISBNs
978-3-54-040753-9, 978-3-54-045187-7
Authors

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga

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

Geographical breakdown

Country Count As %
United States 1 6%
Italy 1 6%
Germany 1 6%
Unknown 15 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 8 44%
Professor > Associate Professor 2 11%
Professor 2 11%
Librarian 1 6%
Other 1 6%
Other 3 17%
Unknown 1 6%
Readers by discipline Count As %
Computer Science 15 83%
Medicine and Dentistry 1 6%
Engineering 1 6%
Unknown 1 6%