| 2009 | A Demonic Approach to Information in Probabilistic Systems. Josée Desharnais, François Laviolette, Amélie Turgeon |
| 2009 | A General Testability Theory. Ismael Rodríguez |
| 2009 | A Logic-Based Framework for Reasoning about Composite Data Structures. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2009 | A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. Steffen van Bakel, Maria Grazia Vigliotti |
| 2009 | Algebra for Infinite Forests with an Application to the Temporal Logic EF. Mikolaj Bojanczyk, Tomasz Idziaszek |
| 2009 | Bigraphical Categories. Robin Milner |
| 2009 | BlenX Static and Dynamic Semantics. Corrado Priami, Paola Quaglia, Alessandro Romanel |
| 2009 | CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings Mario Bravetti, Gianluigi Zavattaro |
| 2009 | Compositional Control Synthesis for Partially Observable Systems. Wouter Kuijper, Jaco van de Pol |
| 2009 | Computing Stuttering Simulations. Francesco Ranzato, Francesco Tapparo |
| 2009 | Concavely-Priced Probabilistic Timed Automata. Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
| 2009 | Concurrent Kleene Algebra. C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman |
| 2009 | Contracts for Mobile Processes. Giuseppe Castagna, Luca Padovani |
| 2009 | Counterexamples in Probabilistic LTL Model Checking for Markov Chains. Matthias Schmalz, Daniele Varacca, Hagen Völzer |
| 2009 | Deriving Syntax and Axioms for Quantitative Regular Behaviours. Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | Distributed Asynchronous Automata. Nicolas Baudru |
| 2009 | Encoding Asynchronous Interactions Using Open Petri Nets. Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
| 2009 | Flow Policy Awareness for Distributed Mobile Code. Ana Almeida Matos |
| 2009 | HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. Vashti Galpin, Luca Bortolussi, Jane Hillston |
| 2009 | Howe's Method for Calculi with Passivation. Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | Measuring Permissivity in Finite Games. Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault |
| 2009 | Model-Checking Games for Fixpoint Logics with Partial Order Models. Julian Gutierrez, Julian C. Bradfield |
| 2009 | Modeling Radio Networks. Calvin C. Newport, Nancy A. Lynch |
| 2009 | On Convergence of Concurrent Systems under Regular Interactions. Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan |
| 2009 | On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. Roland Meyer, Roberto Gorrieri |
| 2009 | Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti |
| 2009 | Partially-Commutative Context-Free Processes. Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota |
| 2009 | Perspectives on Transactional Memory. Martín Abadi, Tim Harris |
| 2009 | Power of Randomization in Automata on Infinite Strings. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2009 | Probabilistic Weighted Automata. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | Query-Based Model Checking of Ad Hoc Network Protocols. Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2009 | Reachability in Succinct and Parametric One-Counter Automata. Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell |
| 2009 | Secure Enforcement for Global Process Specifications. Jérémy Planul, Ricardo Corin, Cédric Fournet |
| 2009 | Strict Divergence for Probabilistic Timed Automata. Jeremy Sproston |
| 2009 | Testing Finitary Probabilistic Processes. Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
| 2009 | The Effect of Tossing Coins in Omega-Automata. Christel Baier, Nathalie Bertrand, Marcus Größer |
| 2009 | Time-Bounded Verification. Joël Ouaknine, Alexander Rabinovich, James Worrell |
| 2009 | Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. Richard Garner, Tom Hirschowitz, Aurélien Pardon |
| 2009 | Volume and Entropy of Regular Timed Languages: Discretization Approach. Eugene Asarin, Aldric Degorre |
| 2009 | Weak Time Petri Nets Strike Back!. Pierre-Alain Reynier, Arnaud Sangnier |
| 2009 | Weighted Bisimulation in Linear Algebraic Form. Michele Boreale |
| 2009 | Winning Regions of Pushdown Parity Games: A Saturation Method. Matthew Hague, C.-H. Luke Ong |