1. Using counterfactuals in knowledge-based programming

   • Joseph Y. Halpern
   • Yoram Moses

   OriginalPaper Pages: 91 - 106

2. Finding missing synchronization in a distributed computation using controlled re-execution

   • Neeraj Mittal
   • Vijay K. Garg

   OriginalPaper Pages: 107 - 130

3. The power of logical clock abstractions

   • Ajay D. Kshemkalyani

   OriginalPaper Pages: 131 - 150

4. A linear-time optimal-message distributed algorithm for minimum spanning trees

   • Michalis Faloutsos
   • Mart Molle

   OriginalPaper Pages: 151 - 170

5. Distributed reconfiguration of metamorphic robot chains

   • Jennifer E. Walter
   • Jennifer L. Welch
   • Nancy M. Amato

   OriginalPaper Pages: 171 - 189