1. Correctness of the compiling process based on axiomatic semantics

   • Bruce Russell

   OriginalPaper Pages: 1 - 20

2. The ‘Hoare logic’ of concurrent programs

   • Leslie Lamport

   OriginalPaper Pages: 21 - 37

3. Evaluation des performances d'un algorithme de contrôle de la cohérence d'une base de données répartie

   • B. Plateau

   OriginalPaper Pages: 39 - 62

4. Concurrent search and insertion in 2–3 trees

   • Carla Schlatter Ellis

   OriginalPaper Pages: 63 - 86

5. Über separatoren in planaren graphen

   • Reiner Philipp
   • Ernst -Jürgen Prauß

   OriginalPaper Pages: 87 - 106