| 1 | -- | 2 | Michael Huth. Preface |
| 3 | -- | 19 | Armelle Merlin, Gaétan Hains. A Generic Cost Model for Concurrent and Data-parallel Meta-computing |
| 21 | -- | 36 | Nils Klarlund, Richard J. Trefler. Regularity Results for FIFO Channels |
| 37 | -- | 52 | Lee Momtahan. Towards a Small Model Theorem for Data Independent Systems in Alloy |
| 53 | -- | 68 | Wan Fokkink, Jun Pang. Simplifying Itai-Rodeh Leader Election for Anonymous Rings |
| 69 | -- | 85 | Jean-François Raskin, Mathias Samuelides, Laurent Van Begin. Games for Counting Abstractions |
| 87 | -- | 103 | Christophe Darlot, Alain Finkel, Laurent Van Begin. About Fast and TReX Accelerations |
| 105 | -- | 125 | Aleksandar Dimovski, Ranko Lazic. Software Model Checking Based on Game Semantics and CSP |
| 127 | -- | 144 | Philippa J. Hopcroft, Guy H. Broadfoot. Combining the Box Structure Development Method and CSP for Software Development |
| 145 | -- | 160 | Franck Cassez, Olivier H. Roux. Structural Translation from Time Petri Nets to Timed Automata |
| 161 | -- | 177 | Alastair F. Donaldson, Alice Miller, Muffy Calder. Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis |
| 179 | -- | 194 | Radu Siminiceanu, Gianfranco Ciardo. Formal Verification of the NASA Runway Safety Monitor |
| 195 | -- | 214 | Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny. Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC |
| 215 | -- | 230 | Harald Fecher. Truly Concurrent Logic via In-Between Specification |
| 231 | -- | 246 | Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang. Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware |
| 247 | -- | 262 | Paritosh K. Pandya. Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search |
| 263 | -- | 278 | Cécile Braunstein, Emmanuelle Encrenaz. CTL-Property Transformations Along an Incremental Design Process |
| 279 | -- | 294 | Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham. Efficient Model Checking of Hardware Using Conditioned Slicing |
| 295 | -- | 310 | Marco Gribaudo, András Horváth. Model Checking Functional and Performability Properties of Stochastic Fluid Models |
| 311 | -- | 324 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre Yves Schobbens. Model-checking the Preservation of Temporal Properties upon Feature Integration |