1. On interprocess communication

   • Leslie Lamport

   OriginalPaper Pages: 77 - 85

2. On interprocess communication

   • Leslie Lamport

   OriginalPaper Pages: 86 - 101

3. Specifications of distributed programs

   • Barbara Liskov
   • William Weihl

   OriginalPaper Pages: 102 - 118

4. Mutual exclusion in partitioned distributed systems

   • Daniel Barbara
   • Hector Garcia-Molina

   OriginalPaper Pages: 119 - 132