| 119 | -- | 131 | Angelo Gargantini, Dino Mandrioli, Angelo Morzenti. Dealing with Zero-Time Transitions in Axiom Systems |
| 132 | -- | 152 | Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek. A Partial Order Approach to Branching Time Logic Model Checking |
| 153 | -- | 186 | Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn. Discrimination by Parallel Observers: The Algorithm |
| 187 | -- | 208 | Andreas Jakoby, Rüdiger Reischuk, Christian Schindelhauer. Malign Distributions for Average Case Circuit Complexity |
| 209 | -- | 243 | Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine. Decidable Integration Graphs |
| 244 | -- | 267 | Allan Borodin, Ran El-Yaniv. On Randomization in On-Line Computation |
| 268 | -- | 306 | Stéphane Grumbach, Tova Milo. An Algebra for Pomsets |