1. Data refinement by calculation

   • Carroll Morgan
   • P. H. B. Gardiner

   OriginalPaper Pages: 481 - 503

2. Referential transparency, definiteness and unfoldability

   • Harald Søndergaard
   • Peter Sestoft

   OriginalPaper Pages: 505 - 517

3. Optimum checkpoints with age dependent failures

   • Erol Gelenbe
   • Marisela Hernández

   OriginalPaper Pages: 519 - 531

4. Representing CCS programs by finite predicate/transition nets

   • Dirk Taubner

   OriginalPaper Pages: 533 - 565

5. Attribute storage optimization by stacks

   • Joost Engelfriet
   • Willem de Jong

   OriginalPaper Pages: 567 - 581