| 2012 | A Comparison of Succinctly Represented Finite-State Systems. Romain Brenguier, Stefan Göller, Ocan Sankur |
| 2012 | A Framework for Formally Verifying Software Transactional Memory Algorithms. Mohsen Lesani, Victor Luchangco, Mark Moir |
| 2012 | A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. Roland Meyer, Victor Khomenko, Reiner Hüchting |
| 2012 | A Theory of History Dependent Abstractions for Learning Interface Automata. Fides Aarts, Faranak Heidarian, Frits W. Vaandrager |
| 2012 | A Turing Enigma. Brian Randell |
| 2012 | Algebraic Structure of Combined Traces. Lukasz Mikulski |
| 2012 | All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs. Antti Valmari |
| 2012 | Avoiding Shared Clocks in Networks of Timed Automata. Sandie Balaguer, Thomas Chatain |
| 2012 | CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings Maciej Koutny, Irek Ulidowski |
| 2012 | Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. Henning Kerstan, Barbara König |
| 2012 | Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. Daniel Gebler, Wan J. Fokkink |
| 2012 | Concurrency and the Algebraic Theory of Effects - (Abstract). Gordon D. Plotkin |
| 2012 | Concurrent Games on VASS with Inhibition. Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
| 2012 | Decidability Problems for Actor Systems. Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro |
| 2012 | Duality and i/o-Types in the π-Calculus. Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi |
| 2012 | Efficient Checking of Link-Reversal-Based Concurrent Systems. Matthias Függer, Josef Widder |
| 2012 | Efficient Coverability Analysis by Proof Minimization. Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2012 | Efficient Modelling and Generation of Markov Automata. Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga |
| 2012 | Exact Fluid Lumpability for Markovian Process Algebra. Max Tschaikowski, Mirco Tribastone |
| 2012 | False Concurrency and Strange-but-True Machines - (Abstract). Peter Sewell |
| 2012 | Fluid Model Checking. Luca Bortolussi, Jane Hillston |
| 2012 | Intensional and Extensional Characterisation of Global Progress in the π-Calculus. Luca Fossati, Kohei Honda, Nobuko Yoshida |
| 2012 | Linearizability with Ownership Transfer. Alexey Gotsman, Hongseok Yang |
| 2012 | MSO Decidability of Multi-Pushdown Systems via Split-Width. Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2012 | Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction. Guy Avni, Orna Kupferman |
| 2012 | Modeling Interval Order Structures with Partially Commutative Monoids. Ryszard Janicki, Xiang Yin, Nadezhda Zubkova |
| 2012 | Nested Protocols in Session Types. Romain Demangeon, Kohei Honda |
| 2012 | Playing Stochastic Games Precisely. Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. Roy Mennicke |
| 2012 | Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
| 2012 | Quantitative Languages Defined by Functional Automata. Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
| 2012 | Reachability Problem for Weak Multi-Pushdown Automata. Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota |
| 2012 | Reachability and Termination Analysis of Concurrent Quantum Programs. Nengkun Yu, Mingsheng Ying |
| 2012 | Spatial and Epistemic Modalities in Constraint-Based Process Calculi. Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia |
| 2012 | Specifying Stateful Asynchronous Properties for Distributed Programs. Tzu-Chun Chen, Kohei Honda |
| 2012 | Strategy Synthesis for Multi-Dimensional Quantitative Objectives. Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin |
| 2012 | Synthesising Choreographies from Local Session Types. Julien Lange, Emilio Tuosto |
| 2012 | Turing Meets Milner. Jos C. M. Baeten, Bas Luttik, Paul van Tilburg |
| 2012 | Verification of Petri Nets with Read Arcs. César Rodríguez, Stefan Schwoon |
| 2012 | What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |