Verifying the consistency of remote untrusted services with conflict-free operationsChristian CachinOlga Ohrimenko2018Information and Computation