Xinfeng Ye, Brian Warboys, John A. Keane. Specification and proof of a distributed recovery algorithm. In Proceedings of the 20th International Symposium on Fault-Tolerant Computing, FTCS 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990. pages 307-314, IEEE Computer Society, 1990. [doi]
Abstract is missing.