| 2008 | A Context-Free Process as a Pushdown Automaton. Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg |
| 2008 | A Model of Dynamic Separation for Transactional Memory. Martín Abadi, Tim Harris, Katherine F. Moore |
| 2008 | A Notion of Glue Expressiveness for Component-Based Systems. Simon Bliudze, Joseph Sifakis |
| 2008 | A Rule Format for Associativity. Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers |
| 2008 | A Scalable and Oblivious Atomicity Assertion. Rachid Guerraoui, Marko Vukolic |
| 2008 | A Space-Efficient Probabilistic Simulation Algorithm. Lijun Zhang |
| 2008 | A Spatial Equational Logic for the Applied pi-Calculus. Étienne Lozes, Jules Villard |
| 2008 | Abstraction for Stochastic Systems by Erlang's Method of Stages. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2008 | Beyond Nash Equilibrium: Solution Concepts for the 21st Century. Joseph Y. Halpern |
| 2008 | CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Franck van Breugel, Marsha Chechik |
| 2008 | Completeness and Nondeterminism in Model Checking Transactional Memories. Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
| 2008 | Contract-Directed Synthesis of Simple Orchestrators. Luca Padovani |
| 2008 | Deriving Structural Labelled Transitions for Mobile Ambients. Julian Rathke, Pawel Sobocinski |
| 2008 | Distributed Timed Automata with Independently Evolving Clocks. S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2008 | Dynamic Partial Order Reduction Using Probe Sets. Harmen Kastenberg, Arend Rensink |
| 2008 | Environment Assumptions for Synthesis. Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
| 2008 | Global Progress in Dynamically Interleaved Multiparty Sessions. Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2008 | Invariants for Parameterised Boolean Equation Systems. Simona Orzan, Tim A. C. Willemse |
| 2008 | Knowledge and Information in Probabilistic Systems. Prakash Panangaden |
| 2008 | Least Upper Bounds for Probability Measures and Their Applications to Abstractions. Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan |
| 2008 | Mixing Lossy and Perfect Fifo Channels. Pierre Chambart, Philippe Schnoebelen |
| 2008 | Modeling Computational Security in Long-Lived Systems. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
| 2008 | Normed BPA vs. Normed BPP Revisited. Petr Jancar, Martin Kot, Zdenek Sawa |
| 2008 | On the Construction of Sorted Reactive Systems. Lars Birkedal, Søren Debois, Thomas T. Hildebrandt |
| 2008 | On the Minimisation of Acyclic Models. Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
| 2008 | On the Reachability Analysis of Acyclic Networks of Pushdown Systems. Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
| 2008 | Quasi-Static Scheduling of Communicating Tasks. Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
| 2008 | R-Automata. Parosh Aziz Abdulla, Pavel Krcál, Wang Yi |
| 2008 | SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | Semantics of Deterministic Shared-Memory Systems. Rémi Morin |
| 2008 | Service Choreography and Orchestration with Conversations. Tevfik Bultan |
| 2008 | Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2008 | Spatial and Behavioral Types in the Pi-Calculus. Lucia Acciai, Michele Boreale |
| 2008 | Strategy Construction for Parity Games with Imperfect Information. Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje |
| 2008 | Structured Interactional Exceptions in Session Types. Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2008 | Subsequence Invariants. Klaus Dräger, Bernd Finkbeiner |
| 2008 | Taming Concurrency: A Program Verification Perspective. Shaz Qadeer |
| 2008 | Termination Problems in Chemical Kinetics. Gianluigi Zavattaro, Luca Cardelli |
| 2008 | Towards a Unified Approach to Encodability and Separation Results for Process Calculi. Daniele Gorla |
| 2008 | Unfolding-Based Diagnosis of Systems with an Evolving Topology. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König |