1. The formal development of a parallel program performing LU-decomposition

   • Johannes G. G. van de Vorst

   OriginalPaper Pages: 1 - 17

2. Corrections to “A synthesis of several sorting algorithms” by J. Darlington

   • Dean Jacobs
   • Martin Feather

   Erratum Pages: 19 - 23

3. Correctness of semantic integrity checking in database management systems

   • E. Bertino
   • D. Musto

   OriginalPaper Pages: 25 - 57

4. A distributed operational semantics for CCS based on condition/event systems

   • Pierpaolo Degano
   • Rocco De Nicola
   • Ugo Montanari

   OriginalPaper Pages: 59 - 91

5. Motion planning among time dependent obstacles

   • K. Sutner
   • W. Maass

   OriginalPaper Pages: 93 - 122

6. Applications of the theory of records in the study of random trees

   • Luc Devroye

   OriginalPaper Pages: 123 - 130

7. High level tree transducers and iterated pushdown tree transducers

   • Joost Engelfriet
   • Heiko Vogler

   OriginalPaper Pages: 131 - 192