1. A.N. Habermann 1932–1993

   • Dana Scott

   Announcement Pages: 1 - 3

2. Object inheritance beyond subtyping

   • J. F. Costa
   • A. Sernadas
   • C. Sernadas

   OriginalPaper Pages: 5 - 26

3. Dependency preservation in semantic databases

   • Jianwen Su

   OriginalPaper Pages: 27 - 54

4. Proving finiteness of CCS processes by non-standard semantics

   • Nicoletta De Francesco
   • Paola Inverardi

   OriginalPaper Pages: 55 - 80

5. The connection between an event structure semantics and an operational semantics forTCSP

   • Christel Baier
   • Mila E. Majster-Cederbaum

   OriginalPaper Pages: 81 - 104