Modeling and Verifying MooseFS in CSP.

Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie

Browse the full COMPSAC paper archive.