1. Composite registers

   • James H. Anderson

   OriginalPaper Pages: 141 - 154

2. Generating BDDs for symbolic model checking in CCS

   • Reinhard Enders
   • Thomas Filkorn
   • Dirk Taubner

   OriginalPaper Pages: 155 - 164

3. Mapping dynamic programming onto modular linear systolic arrays

   • Jean Frédéric Myoupo

   OriginalPaper Pages: 165 - 179

4. Common knowledge and consistent simultaneous coordination

   • Gil Neiger
   • Mark R. Tuttle

   OriginalPaper Pages: 181 - 192