| 2013 | Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract). | Vasileios Koutavas, Matthew Hennessy |
| 2013 | Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks. | Jonathan Kochems, C.-H. Luke Ong |
| 2013 | Concurrency Meets Probability: Theory and Practice - (Abstract). | Joost-Pieter Katoen |
| 2013 | A Theory of Name Boundedness. | Reiner Hchting, Rupak Majumdar, Roland Meyer |
| 2013 | Cost Preserving Bisimulations for Probabilistic Automata. | Holger Hermanns, Andrea Turrini |
| 2013 | Compositional Verification and Optimization of Interactive Markov Chains. | Holger Hermanns, Jan Krcl, Jan Kretnsk |
| 2013 | Aspect-Oriented Linearizability Proofs. | Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis |
| 2013 | From Model Checking to Model Measuring. | Thomas A. Henzinger, Jan Otop |
| 2013 | A Faster Algorithm for Solving One-Clock Priced Timed Games. | Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen |
| 2013 | The Power of Priority Channel Systems. | Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen |
| 2013 | Borel Determinacy of Concurrent Games. | Julian Gutierrez, Glynn Winskel |
| 2013 | An Epistemic Perspective on Consistency of Concurrent Computations. | Klaus von Gleissenthall, Andrey Rybalchenko |
| 2013 | On Negotiation as Concurrency Primitive. | Javier Esparza, Jrg Desel |
| 2013 | Generalizing Simulation to Abstract Domains. | Vijay D'Silva |
| 2013 | A Hierarchy of Expressiveness in Concurrent Interaction Nets. | Andrei Dorman, Damiano Mazza |
| 2013 | Thermodynamic Graph-Rewriting. | Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer |
| 2013 | Proof Graphs for Parameterised Boolean Equation Systems. | Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2013 | Modular Semantics for Transition System Specifications with Negative Premises. | Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi |
| 2013 | Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. | Krishnendu Chatterjee, Yaron Velner |
| 2013 | Satisfiability of CTL* with Constraints. | Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
| 2013 | Well-Structured Pushdown Systems. | Xiaojuan Cai, Mizuhito Ogawa |
| 2013 | Mutually Testing Processes - (Extended Abstract). | Giovanni Bernardi, Matthew Hennessy |
| 2013 | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. | Nikola Benes, Benot Delahaye, Uli Fahrenberg, Jan Kretnsk, Axel Legay |
| 2013 | Merging Partial Behaviour Models with Different Vocabularies. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2013 | Reasoning with MAD Distributed Systems. | Lorenzo Alvisi, Edmund L. Wong |