ChainReaction: a causal+ consistent datastore based on chain replication. - Sérgio Almeida 004; João Leitão 001; Luís E. T. Rodrigues (EuroSys, 2013)