| 91 | -- | 92 | Michael Leuschel. Guest Editorial |
| 93 | -- | 112 | A. W. Roscoe. On the expressive power of CSP refinement |
| 113 | -- | 137 | Michael Huth. Refinement is complete for implementations |
| 138 | -- | 159 | Stefano Cattani, Marta Z. Kwiatkowska. A refinement-based process algebra for timed automata |
| 160 | -- | 176 | Gethin J. Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta. Using probabilistic model checking for dynamic power management |
| 177 | -- | 200 | Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter. The formal design of distributed controllers with ::d::SL and Spin |
| 201 | -- | 221 | Elsa L. Gunter, Doron Peled. Model checking, testing and verification working together |
| 222 | -- | 257 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella. Not necessarily closed convex polyhedra and the double description method |