1. Predicative methodology

   • Eric C. R. Hehner
   • Lorene E. Gupta
   • Andrew J. Malton

   OriginalPaper Pages: 487 - 505

2. A logic for the specification and proof of regular controllable processes of CCS

   • Susanne Graf
   • Joseph Sifakis

   OriginalPaper Pages: 507 - 527

3. Generating binary trees of bounded height

   • C. C. Lee
   • D. T. Lee
   • C. K. Wong

   OriginalPaper Pages: 529 - 544

4. Maximum entropy and the G/G/1/N queue

   • Demetres D. Kouvatsos

   OriginalPaper Pages: 545 - 565

5. Deterministic grammars and grammar morphisms

   • Johannes Reichardt

   OriginalPaper Pages: 567 - 583

6. On the equivalence of some transductions involving letter to letter morphisms on regular languages

   • Yael Maon

   OriginalPaper Pages: 585 - 596

7. Synchronizable deterministic pushdown automata and the decidability of their equivalence

   • Karel Culik II
   • Juhani Karhumäki

   OriginalPaper Pages: 597 - 605