| 2009 | Secure Enforcement for Global Process Specifications. | Jrmy Planul, Ricardo Corin, Cdric Fournet |
| 2009 | Time-Bounded Verification. | Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2009 | Modeling Radio Networks. | Calvin C. Newport, Nancy A. Lynch |
| 2009 | Bigraphical Categories. | Robin Milner |
| 2009 | On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. | Roland Meyer, Roberto Gorrieri |
| 2009 | Flow Policy Awareness for Distributed Mobile Code. | Ana Almeida Matos |
| 2009 | Howe's Method for Calculi with Passivation. | Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | Compositional Control Synthesis for Partially Observable Systems. | Wouter Kuijper, Jaco van de Pol |
| 2009 | Concavely-Priced Probabilistic Timed Automata. | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
| 2009 | Concurrent Kleene Algebra. | C. A. R. Hoare, Bernhard Mller, Georg Struth, Ian Wehrman |
| 2009 | Winning Regions of Pushdown Parity Games: A Saturation Method. | Matthew Hague, C.-H. Luke Ong |
| 2009 | Reachability in Succinct and Parametric One-Counter Automata. | Christoph Haase, Stephan Kreutzer, Jol Ouaknine, James Worrell |
| 2009 | Model-Checking Games for Fixpoint Logics with Partial Order Models. | Julian Gutierrez, Julian C. Bradfield |
| 2009 | Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers. | Sergio Giro, Pedro R. D'Argenio, Luis Mara Ferrer Fioriti |
| 2009 | Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. | Richard Garner, Tom Hirschowitz, Aurlien Pardon |
| 2009 | HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. | Vashti Galpin, Luca Bortolussi, Jane Hillston |
| 2009 | A Demonic Approach to Information in Probabilistic Systems. | Jose Desharnais, Franois Laviolette, Amlie Turgeon |
| 2009 | Testing Finitary Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
| 2009 | Partially-Commutative Context-Free Processes. | Wojciech Czerwinski, Sibylle Frschle, Slawomir Lasota |
| 2009 | Probabilistic Weighted Automata. | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
| 2009 | Power of Randomization in Automata on Infinite Strings. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2009 | Contracts for Mobile Processes. | Giuseppe Castagna, Luca Padovani |
| 2009 | Measuring Permissivity in Finite Games. | Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault |
| 2009 | A Logic-Based Framework for Reasoning about Composite Data Structures. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2009 | Weighted Bisimulation in Linear Algebraic Form. | Michele Boreale |