Formalizing Google File System.

Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu

Browse the full PRDC paper archive.