1. Automatic verification of concurrent systems using a formula-based compositional approach

   • Antonella Santone

   Original article Pages: 531 - 564

2. Relaxed red-black trees with group updates

   • Kim S. Larsen

   Original article Pages: 565 - 586

3. On the non-approximability of points-to analysis

   • Venkatesan T. Chakaravarthy
   • Susan Horwitz

   Original article Pages: 587 - 598