Formalization and Verification of OpenStack Swift Using CSP.

Ziqing Su, Wei Lin, Huibiao Zhu

Browse the full COMPSAC paper archive.