1. Probabilistic models of computer systems

   • Erol Gelenbe

   OriginalPaper Pages: 285 - 303

2. On a class of recursive procedures and equivalent iterative ones

   • Teruo Hikita

   OriginalPaper Pages: 305 - 320

3. Analyse et optimisation d'une procédure de reprise dans un système de gestion de données centralisées

   • N. Mikou
   • S. Tucci

   OriginalPaper Pages: 321 - 338

4. A method for transforming grammars into LL(k) form

   • Eljas Soisalon-Soininen
   • Esko Ukkonen

   OriginalPaper Pages: 339 - 369

5. Some remarks on Boolean sums

   • Kurt Mehlhorn

   OriginalPaper Pages: 371 - 375

6. Sequential method in propositional dynamic logic

   • Hirokazu Nishimura

   OriginalPaper Pages: 377 - 400

7. A tribute to referees

   Announcement Pages: 401 - 402