PROAR: A Weak Consistency Model for Ceph | IEEE Conference Publication | IEEE Xplore