| 2005 | A Behavioural Pseudometric for Metric Labelled Transition Systems. Franck van Breugel |
| 2005 | A Compositional Approach to the Stochastic Dynamics of Gene Networks. Luca Cardelli |
| 2005 | A Game Semantics of the Asynchronous Jim Laird |
| 2005 | A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. Jos C. M. Baeten, Mario Bravetti |
| 2005 | A New Modality for Almost Everywhere Properties in Timed Automata. Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
| 2005 | A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. Eric Goubault, Emmanuel Haucourt |
| 2005 | A Theory of System Behaviour in the Presence of Node and Link Failures. Adrian Francalanza, Matthew Hennessy |
| 2005 | Bisimulations Up-to for the Linear Time Branching Time Spectrum. David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
| 2005 | CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Martín Abadi, Luca de Alfaro |
| 2005 | Comparing Two Approaches to Compensable Flow Composition. Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari |
| 2005 | Concurrent Clustered Programming. Vijay A. Saraswat, Radha Jagadeesan |
| 2005 | Constraint Solving for Contract-Signing Protocols. Detlef Kähler, Ralf Küsters |
| 2005 | Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. Sibylle B. Fröschle, Slawomir Lasota |
| 2005 | Defining Fairness. Hagen Völzer, Daniele Varacca, Ekkart Kindler |
| 2005 | Deriving Weak Bisimulation Congruences from Reduction Systems. Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
| 2005 | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2005 | Games Other People Play. Christos H. Papadimitriou |
| 2005 | Games Where You Can Play Optimally Without Any Memory. Hugo Gimbert, Wieslaw Zielonka |
| 2005 | Merged Processes - A New Condensed Representation of Petri Net Behaviour. Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
| 2005 | Modal Logics for Timed Control. Patricia Bouyer, Franck Cassez, François Laroussinie |
| 2005 | Model Checking for Alwen Fernanto Tiu |
| 2005 | Multiport Interaction Nets and Concurrency. Damiano Mazza |
| 2005 | On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. Blaise Genest |
| 2005 | On Probabilistic Program Equivalence and Refinement. Andrzej S. Murawski, Joël Ouaknine |
| 2005 | Probabilistic Anonymity. Mohit Bhargava, Catuscia Palamidessi |
| 2005 | Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems. Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili |
| 2005 | SOS for Higher Order Processes. Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers |
| 2005 | Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. Andrew D. Gordon, Alan Jeffrey |
| 2005 | Selecting Theories and Recursive Protocols. Tomasz Truderung |
| 2005 | Static Analysis Versus Model Checking for Bug Finding. Dawson R. Engler |
| 2005 | Synthesis of Distributed Systems from Knowledge-Based Specifications. Ron van der Meyden, Thomas Wilke |
| 2005 | Taming Interface Specifications. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
| 2005 | Termination Analysis of Integer Linear Loops. Aaron R. Bradley, Zohar Manna, Henny B. Sipma |
| 2005 | The Benefits of Exposing Calls and Returns. Rajeev Alur |
| 2005 | The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation. Pedro R. D'Argenio, Biniam Gebremichael |
| 2005 | The Individual and Collective Token Interpretations of Petri Nets. Rob J. van Glabbeek |
| 2005 | Timed Shuffle Expressions. Catalin Dima |
| 2005 | Timed Spi-Calculus with Types for Secrecy and Authenticity. Christian Haack, Alan Jeffrey |
| 2005 | Transactions in RCCS. Vincent Danos, Jean Krivine |
| 2005 | Two-Player Nonzero-Sum Krishnendu Chatterjee |
| 2005 | Type-Directed Concurrency. Deepak Garg, Frank Pfenning |
| 2005 | Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces. Paul Gastin, Dietrich Kuske |
| 2005 | Verification of Qualitative Constraints. Stéphane Demri, Régis Gascon |