Specification and proof of a distributed recovery algorithm.

Xinfeng Ye Brian Warboys John A. Keane

Published in: FTCS (1990)

Keyphrases

recovery algorithm
high level
image processing
distributed systems
provably correct
multimedia
digital images