| 2006 | A Capability Calculus for Concurrency and Determinism. Tachio Terauchi, Alex Aiken |
| 2006 | A Complete Axiomatic Semantics for the CSP Stable-Failures Model. Yoshinao Isobe, Markus Roggenbach |
| 2006 | A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse |
| 2006 | A Language for Task Orchestration and Its Semantic Properties. David Kitchin, William R. Cook, Jayadev Misra |
| 2006 | A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. Stefan Leue, Alin Stefanescu, Wei Wei |
| 2006 | A New Type System for Deadlock-Free Processes. Naoki Kobayashi |
| 2006 | CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings Christel Baier, Holger Hermanns |
| 2006 | Checking a Mutex Algorithm in a Process Algebra with Fairness. Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2006 | Concurrent Rewriting for Graphs with Equivalences. Paolo Baldan, Fabio Gadducci, Ugo Montanari |
| 2006 | Controller Synthesis for MTL Specifications. Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier |
| 2006 | Dynamic Access Control in a Concurrent Object Calculus. Avik Chaudhuri |
| 2006 | Encoding CDuce in the Cpi-Calculus. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
| 2006 | Event Structure Semantics for Nominal Calculi. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
| 2006 | Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. Orna Kupferman, Sarai Sheinvald-Faragy |
| 2006 | Generic Forward and Backward Simulations. Ichiro Hasuo |
| 2006 | Inference of Event-Recording Automata Using Timed Decision Trees. Olga Grinchtein, Bengt Jonsson, Paul Pettersson |
| 2006 | Liveness, Fairness and Impossible Futures. Rob J. van Glabbeek, Marc Voorhoeve |
| 2006 | Minimization, Learning, and Conformance Testing of Boolean Programs. Viraj Kumar, P. Madhusudan, Mahesh Viswanathan |
| 2006 | Model Checking Quantified Computation Tree Logic. Arend Rensink |
| 2006 | Modeling Timed Concurrent Systems. Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee |
| 2006 | On Finite Alphabets and Infinite Bases III: Simulation. Taolue Chen, Wan J. Fokkink |
| 2006 | On Interleaving in Timed Automata. Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2006 | Operational Determinism and Fast Algorithms. Henri Hansen, Antti Valmari |
| 2006 | Probabilistic I/O Automata: Theories of Two Equivalences. Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2006 | Probability and Nondeterminism in Operational Models of Concurrency. Roberto Segala |
| 2006 | Proving Liveness by Backwards Reachability. Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
| 2006 | Reachability in Recursive Markov Decision Processes. Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
| 2006 | Sanity Checks in Formal Verification. Orna Kupferman |
| 2006 | Second-Order Simple Grammars. Colin Stirling |
| 2006 | Some Remarks on Definability of Process Graphs. Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
| 2006 | Sortings for Reactive Systems. Lars Birkedal, Søren Debois, Thomas T. Hildebrandt |
| 2006 | Strategy Improvement for Stochastic Rabin and Streett Games. Krishnendu Chatterjee, Thomas A. Henzinger |
| 2006 | Transition Systems of Elementary Net Systems with Localities. Maciej Koutny, Marta Pietkiewicz-Koutny |
| 2006 | Weak Bisimulation Up to Elaboration. Damien Pous |
| 2006 | Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. Uwe Nestmann |