Login / Signup
Algebraic Specification and Proof of a Distributed Recovery Algorithm.
Jifeng He
C. A. R. Hoare
Published in:
Distributed Comput. (1987)
Keyphrases
</>
recovery algorithm
distributed systems
provably correct
high level
feature extraction
digital libraries
video data