Algebraic Specification and Proof of a Distributed Recovery Algorithm
He Jifeng and C.A.R. Hoare
Journal
Distributed Computing
Number
1
Pages
1–12
Volume
2
Year
1987
He Jifeng and C.A.R. Hoare