Accepted Papers
Solving Parity Games on Integer Vectors
Merging Partial Behaviour Models with Different Vocabularies
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
Mutually testing processes
Well-Structured Pushdown Systems
Satisfiability of CTL^* with constraints
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games
Modular Semantics for Transition System Specifications with Negative Premises
Proof graphs for parameterized Boolean equation systems
Thermodynamic graph-rewriting
A Hierarchy of Expressiveness in Concurrent Interaction Nets
A Generalization of Simulation to Abstract Domains
On Negotiation as Concurrency Primitive
An Epistemic Perspective on Consistency of Concurrent Computations
Borel Determinacy of Concurrent Games
The Power of Priority Channel Systems
A Faster Algorithm for Solving One-Clock Priced Timed Games
From Model Checking to Model Measuring
Aspect-oriented linearizability proofs
Compositional Verification and Optimization of Interactive Markov Chains
Cost Preserving Bisimulations for Probabilistic Automata
A Theory of Name Boundedness
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation
Globally Governed Session Semantics
Causality-based Verification of Multi-threaded Programs
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness
Observing Progress Properties via Contextual Refinements
Expand, Enlarge, and Check for Branching Vector Addition Systems
Compositional Choreographies
A General Proof System for Modalities in Concurrent Constraint Programming
Reversibility and Asymmetric Conflict in Event Structures
Robust Controller Synthesis in Timed Automata
Reachability Probabilities of Quantum Markov Chains