1. Possibility and impossibility results in a shared memory environment

   • Gadi Taubenfeld
   • Shlomo Moran

   OriginalPaper Pages: 1 - 20

2. Kinded type inference for parameteric overloading

   • Dominic Duggan
   • Gordon Cormack
   • John Ophel

   OriginalPaper Pages: 21 - 68

3. A theory of bisimulation for the π-calculus

   • Davide Sangiorgi

   OriginalPaper Pages: 69 - 97