1. Consensus algorithms with one-bit messages

   • Amotz Bar-Noy
   • Danny Dolev

   OriginalPaper Pages: 105 - 110

2. The distributed simulation of clustered processes

   • Bojan Grošelj
   • Carl Tropper

   OriginalPaper Pages: 111 - 121

3. Hierarchical deablock detection for nested transactions

   • Marta Rukoz

   OriginalPaper Pages: 123 - 129

4. A class of deadlock-free Maekawa-type algorithms for mutual exclusion in distributed systems

   • Mukesh Singhal

   OriginalPaper Pages: 131 - 138

5. Failures semantics based on interval semiwords is a congruence for refinement

   • Walter Vogler

   OriginalPaper Pages: 139 - 162