Login / Signup

Algebraic Specification and Proof of a Distributed Recovery Algorithm.

Jifeng HeC. A. R. Hoare
Published in: Distributed Comput. (1987)
Keyphrases
  • recovery algorithm
  • distributed systems
  • provably correct
  • high level
  • feature extraction
  • digital libraries
  • video data