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 |