CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Front Matter....Pages -
Reasoning with MAD Distributed Systems....Pages 1-4
The Power of Well-Structured Systems....Pages 5-24
Impact of Resource Sharing on Performance and Performance Prediction: A Survey....Pages 25-43
Concurrency Meets Probability: Theory and Practice....Pages 44-45
Modular Semantics for Transition System Specifications with Negative Premises....Pages 46-60
Mutually Testing Processes....Pages 61-75
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory....Pages 76-90
Merging Partial Behaviour Models with Different Vocabularies....Pages 91-105
Solving Parity Games on Integer Vectors....Pages 106-120
Well-Structured Pushdown Systems....Pages 121-136
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness....Pages 137-151
Expand, Enlarge, and Check for Branching Vector Addition Systems....Pages 152-166
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation....Pages 167-181
A Theory of Name Boundedness....Pages 182-196
A Hierarchy of Expressiveness in Concurrent Interaction Nets....Pages 197-211
An Epistemic Perspective on Consistency of Concurrent Computations....Pages 212-226
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements....Pages 227-241
Aspect-Oriented Linearizability Proofs....Pages 242-256
Causality-Based Verification of Multi-threaded Programs....Pages 257-272
From Model Checking to Model Measuring....Pages 273-287
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks....Pages 288-302
Reversibility and Asymmetric Conflict in Event Structures....Pages 303-318
The Power of Priority Channel Systems....Pages 319-333
Reachability Probabilities of Quantum Markov Chains....Pages 334-348
Cost Preserving Bisimulations for Probabilistic Automata....Pages 349-363
Compositional Verification and Optimization of Interactive Markov Chains....Pages 364-379
Thermodynamic Graph-Rewriting....Pages 380-394
Globally Governed Session Semantics....Pages 395-409
A General Proof System for Modalities in Concurrent Constraint Programming....Pages 410-424
Compositional Choreographies....Pages 425-439
On Negotiation as Concurrency Primitive....Pages 440-454
Satisfiability of CTL * with Constraints....Pages 455-469
Proof Graphs for Parameterised Boolean Equation Systems....Pages 470-484
Generalizing Simulation to Abstract Domains....Pages 485-499
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games....Pages 500-515
Borel Determinacy of Concurrent Games....Pages 516-530
A Faster Algorithm for Solving One-Clock Priced Timed Games....Pages 531-545
Robust Controller Synthesis in Timed Automata....Pages 546-560
Back Matter....Pages -