Declared causality in wide-area replicated storageKyle LadyMinkyong Kimet al.2014SRDSW 2014Conference paper