1. Disk Paxos

   • Eli Gafni
   • Leslie Lamport

   Original article Pages: 1 - 20

2. Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

   • Hirozumi Yamaguchi
   • Khaled El-Fakih
   • Teruo Higashino

   Original article Pages: 21 - 35

3. Objects shared by Byzantine processes

   • Dahlia Malkhi
   • Michael Merritt
   • Gadi Taubenfeld

   Original article Pages: 37 - 48

4. Tolerating malicious gossip

   • Yaron M. Minsky
   • Fred B. Schneider

   Original article Pages: 49 - 68