| 2013 | A Faster Algorithm for Solving One-Clock Priced Timed Games. Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen |
| 2013 | A General Proof System for Modalities in Concurrent Constraint Programming. Vivek Nigam, Carlos Olarte, Elaine Pimentel |
| 2013 | A Hierarchy of Expressiveness in Concurrent Interaction Nets. Andrei Dorman, Damiano Mazza |
| 2013 | A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness. Jérôme Leroux, M. Praveen, Grégoire Sutre |
| 2013 | A Theory of Name Boundedness. Reiner Hüchting, Rupak Majumdar, Roland Meyer |
| 2013 | An Epistemic Perspective on Consistency of Concurrent Computations. Klaus von Gleissenthall, Andrey Rybalchenko |
| 2013 | Aspect-Oriented Linearizability Proofs. Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis |
| 2013 | Borel Determinacy of Concurrent Games. Julian Gutierrez, Glynn Winskel |
| 2013 | CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings Pedro R. D'Argenio, Hernán C. Melgratti |
| 2013 | Causality-Based Verification of Multi-threaded Programs. Andrey Kupriyanov, Bernd Finkbeiner |
| 2013 | Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao |
| 2013 | Compositional Choreographies. Fabrizio Montesi, Nobuko Yoshida |
| 2013 | Compositional Verification and Optimization of Interactive Markov Chains. Holger Hermanns, Jan Krcál, Jan Kretínský |
| 2013 | Concurrency Meets Probability: Theory and Practice - (Abstract). Joost-Pieter Katoen |
| 2013 | Cost Preserving Bisimulations for Probabilistic Automata. Holger Hermanns, Andrea Turrini |
| 2013 | Expand, Enlarge, and Check for Branching Vector Addition Systems. Rupak Majumdar, Zilong Wang |
| 2013 | From Model Checking to Model Measuring. Thomas A. Henzinger, Jan Otop |
| 2013 | Generalizing Simulation to Abstract Domains. Vijay D'Silva |
| 2013 | Globally Governed Session Semantics. Dimitrios Kouzapas, Nobuko Yoshida |
| 2013 | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay |
| 2013 | Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Krishnendu Chatterjee, Yaron Velner |
| 2013 | Impact of Resource Sharing on Performance and Performance Prediction: A Survey. Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm |
| 2013 | Merging Partial Behaviour Models with Different Vocabularies. Shoham Ben-David, Marsha Chechik, Sebastián Uchitel |
| 2013 | Modular Semantics for Transition System Specifications with Negative Premises. Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi |
| 2013 | Mutually Testing Processes - (Extended Abstract). Giovanni Bernardi, Matthew Hennessy |
| 2013 | On Negotiation as Concurrency Primitive. Javier Esparza, Jörg Desel |
| 2013 | Proof Graphs for Parameterised Boolean Equation Systems. Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse |
| 2013 | Reachability Probabilities of Quantum Markov Chains. Shenggang Ying, Yuan Feng, Nengkun Yu, Mingsheng Ying |
| 2013 | Reasoning with MAD Distributed Systems. Lorenzo Alvisi, Edmund L. Wong |
| 2013 | Reversibility and Asymmetric Conflict in Event Structures. Iain Phillips, Irek Ulidowski |
| 2013 | Robust Controller Synthesis in Timed Automata. Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2013 | Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks. Jonathan Kochems, C.-H. Luke Ong |
| 2013 | Satisfiability of CTL* with Constraints. Claudia Carapelle, Alexander Kartzow, Markus Lohrey |
| 2013 | Solving Parity Games on Integer Vectors. Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston |
| 2013 | Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract). Vasileios Koutavas, Matthew Hennessy |
| 2013 | The Power of Priority Channel Systems. Christoph Haase, Sylvain Schmitz, Philippe Schnoebelen |
| 2013 | The Power of Well-Structured Systems. Sylvain Schmitz, Philippe Schnoebelen |
| 2013 | Thermodynamic Graph-Rewriting. Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer |
| 2013 | Well-Structured Pushdown Systems. Xiaojuan Cai, Mizuhito Ogawa |