Consistency Anchor Formalization and Correctness Proofs

Report English OPEN
Miguel, Correia; Bessani, Alysson;
(2014)
  • Subject: SCFS | Cloud | Storage Systems | Consistency

This is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014." The consistency anchor tec... View more
Share - Bookmark