1. Preface

   • C. A. R. Hoare

   EditorialNotes Pages: 1 - 1

2. A new journal is born

   • Mohamed G. Gouda

   OriginalPaper Pages: 3 - 4

3. A belated proof of self-stabilization

   • Edsger W. Dijkstra

   OriginalPaper Pages: 5 - 6

4. A model and temporal proof system for networks of processes

   • Van Nguyen
   • Alan Demers
   • Susan Owicki

   OriginalPaper Pages: 7 - 25

5. Easy impossibility proofs for distributed consensus problems

   • Michael J. Fischer
   • Nancy A. Lynch
   • Michael Merritt

   OriginalPaper Pages: 26 - 39

6. How processes learn

   • K. M. Chandy
   • Jayadev Misra

   OriginalPaper Pages: 40 - 52

7. Verification of multiprocess probabilistic protocols

   • Amir Pnueli
   • Lenore Zuck

   OriginalPaper Pages: 53 - 72

8. Calendar of events

   Events Pages: 73 - 74