1. Bounded self-stabilizing Petri nets

   • Ludmila Cherkasova
   • Rodney R. Howell
   • Louis E. Rosier

   OriginalPaper Pages: 189 - 207

2. Reexecution in abstract interpretation of Prolog

   • Baudouin Le Charlier
   • Pascal Van Hentenryck

   OriginalPaper Pages: 209 - 253

3. Lazy structure sharing for query optimization

   • Adam L. Buchsbaum
   • Rajamani Sundar
   • Robert E. Tarjan

   OriginalPaper Pages: 255 - 270

4. On the complexity of concurrency control using semantic information

   • Vasudha Krishnaswamy
   • John Bruno

   OriginalPaper Pages: 271 - 284

5. Syntactic complexity of scattered context grammars

   • Alexander Meduna

   OriginalPaper Pages: 285 - 298