Algebraic specification and proof of a distributed recovery algorithm He JifengC. A. R. Hoare OriginalPaper Pages: 1 - 12
Semantics of finite and infinite networks of concurrent communicating agents Manfred Broy OriginalPaper Pages: 13 - 31
A proof technique for concurrency control and recovery algorithms for replicated databases Philip A. BernsteinNathan Goodman OriginalPaper Pages: 32 - 44
Distributed optimistic concurrency control with reduced rollback Divyakant AgrawalArthur J. BernsteinSoumitra Sengupta OriginalPaper Pages: 45 - 59