| 87 | -- | 0 | Bengt Jonsson, Joachim Parrow. Guest Editors Foreword |
| 89 | -- | 125 | Olaf Burkart, Bernhard Steffen. Composition, Decomposition and Model Checking of Pushdown Processes |
| 126 | -- | 145 | Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin. Uncountable Limits and the lambda Calculus |
| 146 | -- | 180 | Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman. Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms |
| 181 | -- | 220 | N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely. A Logical View of Concurrent Constraint Programming |
| 221 | -- | 249 | Mogens Nielsen, Christian Clausen. Games and Logics for a Noninterleaving Bisimulation |
| 250 | -- | 273 | Roberto Segala, Nancy A. Lynch. Probabilistic Simulations for Probabilistic Processes |
| 274 | -- | 302 | Chris Verhoef. A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises |