1. Algebraic specification and proof of a distributed recovery algorithm

   • He Jifeng
   • C. A. R. Hoare

   OriginalPaper Pages: 1 - 12

2. Semantics of finite and infinite networks of concurrent communicating agents

   • Manfred Broy

   OriginalPaper Pages: 13 - 31

3. A proof technique for concurrency control and recovery algorithms for replicated databases

   • Philip A. Bernstein
   • Nathan Goodman

   OriginalPaper Pages: 32 - 44

4. Distributed optimistic concurrency control with reduced rollback

   • Divyakant Agrawal
   • Arthur J. Bernstein
   • Soumitra Sengupta

   OriginalPaper Pages: 45 - 59