| 1 | -- | 2 | Alice Miller, Muffy Calder. Preface |
| 3 | -- | 18 | Alastair F. Donaldson. Vector Symmetry Reduction |
| 19 | -- | 31 | Karim Kanso, Faron Moller, Anton Setzer. Automated Verification of Signalling Principles in Railway Interlocking Systems |
| 33 | -- | 48 | Rahul Kumar, Eric G. Mercer. Verifying Communication Protocols Using Live Sequence Chart Specifications |
| 49 | -- | 68 | Toby C. Murray, Gavin Lowe. On Refinement-Closed Security Properties and Nondeterministic Compositions |
| 69 | -- | 84 | Liam O Reilly, Markus Roggenbach, Yoshinao Isobe. CSP-CASL-Prover: A Generic Tool for Process and Data Refinement |
| 85 | -- | 102 | Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi. Light-Weight SMT-based Model Checking |
| 103 | -- | 118 | Shamim Ripon, Michael J. Butler. PVS Embedding of cCSP Semantic Models and Their Relationship |
| 119 | -- | 134 | D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe. The Stable Revivals Model in CSP-Prover |
| 135 | -- | 151 | Heike Wehrheim, Daniel Wonisch. Compositional CSP Traces Refinement Checking |