Login / Signup

An adaptation-complete proof system for local reasoning about cloud storage systems.

Zhao JinBowen ZhangLei ZhangYongzhi CaoHanpin Wang
Published in: Theor. Comput. Sci. (2022)
Keyphrases
  • storage systems
  • file system
  • disk drives
  • cloud computing
  • high performance computing
  • single point of failure
  • management system
  • modal logic
  • data repositories