| 2010 | A Communication Based Model for Games of Imperfect Information. Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2010 | A Geometric Approach to the Problem of Unique Decomposition of Processes. Thibaut Balabonski, Emmanuel Haucourt |
| 2010 | A Linear Account of Session Types in the Pi Calculus. Marco Giunti, Vasco Thudichum Vasconcelos |
| 2010 | A Logic for True Concurrency. Paolo Baldan, Silvia Crafa |
| 2010 | A Theory of Design-by-Contract for Distributed Multiparty Interactions. Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida |
| 2010 | Applications of Shellable Complexes to Distributed Computing - (Invited Talk). Maurice Herlihy |
| 2010 | Bisimilarity of One-Counter Processes Is PSPACE-Complete. Stanislav Böhm, Stefan Göller, Petr Jancar |
| 2010 | Buffered Communication Analysis in Distributed Multiparty Sessions. Pierre-Malo Deniélou, Nobuko Yoshida |
| 2010 | CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings Paul Gastin, François Laroussinie |
| 2010 | Communicating Transactions - (Extended Abstract). Edsko de Vries, Vasileios Koutavas, Matthew Hennessy |
| 2010 | Concurrency and Composition in a Stochastic World. Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | Conditional Automata: A Tool for Safe Removal of Negligible Events. Roberto Segala, Andrea Turrini |
| 2010 | Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations. Tim A. C. Willemse |
| 2010 | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2010 | Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis. Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen |
| 2010 | Efficient Bisimilarities from Second-Order Reaction Semantics for Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa |
| 2010 | Flat Coalgebraic Fixed Point Logics. Lutz Schröder, Yde Venema |
| 2010 | From Multi to Single Stack Automata. Mohamed Faouzi Atig |
| 2010 | Generic Forward and Backward Simulations II: Probabilistic Simulation. Ichiro Hasuo |
| 2010 | Information Flow in Interactive Systems. Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
| 2010 | Kleene, Rabin, and Scott Are Available. Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog |
| 2010 | Learning I/O Automata. Fides Aarts, Frits W. Vaandrager |
| 2010 | Mean-Payoff Automaton Expressions. Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
| 2010 | Modal Logic over Higher Dimensional Automata. Cristian Prisacariu |
| 2010 | Multipebble Simulations for Alternating Automata - (Extended Abstract). Lorenzo Clemente, Richard Mayr |
| 2010 | Nash Equilibria for Reachability Objectives in Multi-player Timed Games. Patricia Bouyer, Romain Brenguier, Nicolas Markey |
| 2010 | Obliging Games. Krishnendu Chatterjee, Florian Horn, Christof Löding |
| 2010 | On the Compositionality of Round Abstraction. Dan R. Ghica, Mohamed Nabih Menaa |
| 2010 | On the Use of Non-deterministic Automata for Presburger Arithmetic. Antoine Durand-Gasselin, Peter Habermehl |
| 2010 | Parameterized Verification of Ad Hoc Networks. Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2010 | Reasoning about Optimistic Concurrency Using a Program Logic for History. Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang |
| 2010 | Representations of Petri Net Interactions. Pawel Sobocinski |
| 2010 | Reversing Higher-Order Pi. Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani |
| 2010 | Session Types as Intuitionistic Linear Propositions. Luís Caires, Frank Pfenning |
| 2010 | Session Types for Access and Information Flow Control. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk |
| 2010 | Simulation Distances. Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
| 2010 | Stochastic Real-Time Games with Qualitative Timed Automata Objectives. Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák |
| 2010 | Taming Distributed Asynchronous Systems. Anca Muscholl |
| 2010 | Termination in Impure Concurrent Languages. Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
| 2010 | Theory by Process. Yuxi Fu |
| 2010 | Trust in Anonymity Networks. Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |