1. Consistent records in asynchronous computations

   • Roberto Baldoni
   • Jean-Michel Helary
   • Michel Raynal

   Pages: 441 - 455

2. A logic-based approach to program flow analysis

   • Mooly Sagiv
   • Nissim Francez
   • Reinhard Wilhelm

   Pages: 457 - 504

3. Nonfinite axiomatizability of the equational theory of shuffle

   • Zoltán Ésik
   • Michael Bertol

   Pages: 505 - 539

4. Erratum: Acta Informatica (1997) 34: 905–925

   Pages: 541 - 541