1. Automatic verification for a class of distributed systems

   • G. Manduchi
   • M. Moro

   Original articles Pages: 127 - 143

2. A note on knowledge-based programs and specifications

   • Joseph Y. Halpern

   Original articles Pages: 145 - 153

3. Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study

   • Anna Pogosyants
   • Roberto Segala
   • Nancy Lynch

   Original articles Pages: 155 - 186