M. Abadi and L. Lamport, The existence of refinement mappings, Theoretical Computer Science, vol.82, issue.2, pp.253-284, 1991.
DOI : 10.1016/0304-3975(91)90224-P

S. Almeida, J. Leitão, and L. Rodrigues, ChainReaction, Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys '13, pp.85-98, 2013.
DOI : 10.1145/2465351.2465361

P. Bailis, A. Ghodsi, J. M. Hellerstein, and I. Stoica, Bolton Causal Consistency, Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, SIGMOD '13, pp.761-772, 2013.

P. Bailis, A. Fekete, J. M. Hellerstein, A. Ghodsi, and I. Stoica, Scalable Atomic Visibility with RAMP Transactions, Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, pp.27-38, 2014.

P. Bailis, A. Fekete, M. J. Franklin, A. Ghodsi, J. M. Hellerstein et al., Coordination avoidance in database systems, Proc. VLDB Endow, p.2015
DOI : 10.14778/2735508.2735509

D. Barbará-millá and H. Garcia-molina, The demarcation protocol: A technique for maintaining constraints in distributed database systems, The VLDB Journal, vol.11, issue.4, pp.325-353, 1994.
DOI : 10.1007/BF01232643

E. Cohen, M. Dahlweid, M. Hillebrand, D. Leinenbach, M. Moskal et al., VCC: A Practical System for Verifying Concurrent C, Theorem Proving in Higher Order Logics, pp.23-42, 2009.
DOI : 10.1007/978-3-540-74591-4_15

B. F. Cooper, R. Ramakrishnan, U. Srivastava, A. Silberstein, P. Bohannon et al., PNUTS, Proceedings of the VLDB Endowment, vol.1, issue.2, pp.1277-1288, 2008.
DOI : 10.14778/1454159.1454167

J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost et al., Spanner, Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI'12, pp.251-264, 2012.
DOI : 10.1145/2518037.2491245

L. , D. Moura, and N. Bjørner, Z3: An Efficient SMT Solver, Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08, pp.337-340, 2008.

G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman et al., Dynamo: Amazon's Highly Available Keyvalue Store, Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles, SOSP '07, pp.205-220, 2007.

D. L. Detlefs, K. R. Leino, G. Nelson, and J. B. Saxe, Extended static checking, 1998.

J. Du, S. Elnikety, A. Roy, and W. Zwaenepoel, Orbe, Proceedings of the 4th annual Symposium on Cloud Computing, SOCC '13, pp.1-11, 2013.
DOI : 10.1145/2523616.2523628

T. Ed-liu, O. Magrino, M. D. Arden, A. C. George, and . Myers, Warranties for Faster Strong Consistency, Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation, NSDI'14

H. Garcia-molina, Using semantic knowledge for transaction processing in a distributed database, ACM Transactions on Database Systems, vol.8, issue.2, pp.186-213, 1983.
DOI : 10.1145/319983.319985

J. N. Gray, R. A. Lorie, G. R. Putzolu, and I. L. Traiger, Readings in Database Systems. chapter Granularity of Locks and Degrees of Consistency in a Shared Data Base, pp.94-121, 1988.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

H. B. Hunt and D. J. Rosenkrantz, The complexity of testing predicate locks, Proceedings of the 1979 ACM SIGMOD international conference on Management of data , SIGMOD '79, pp.127-133, 1979.
DOI : 10.1145/582095.582115

B. Jacobs, J. Smans, P. Philippaerts, F. Vogels, W. Penninckx et al., VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java, Proceedings of the Third International Conference on NASA Formal Methods, pp.41-55, 2011.
DOI : 10.1007/11691372_19

T. Kraska, M. Hentschel, G. Alonso, and D. Kossmann, Consistency rationing in the cloud, Proc. VLDB Endow, pp.253-264, 2009.
DOI : 10.14778/1687627.1687657

T. Kraska, G. Pang, M. J. Franklin, S. Madden, and A. Fekete, MDCC, Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys '13, pp.113-126, 2013.
DOI : 10.1145/2465351.2465363

A. Lakshman and P. Malik, Cassandra, ACM SIGOPS Operating Systems Review, vol.44, issue.2, pp.35-40, 2010.
DOI : 10.1145/1773912.1773922

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

C. Li, D. Porto, A. Clement, J. Gehrke, N. Preguiça et al., Making Geo-replicated Systems Fast As Possible , Consistent when Necessary, Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation , OSDI'12, pp.265-278, 2012.

C. Li, J. Leitão, A. Clement, N. Preguiça, R. Rodrigues et al., Automating the Choice of Consistency Levels in Replicated Systems, Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference , USENIX ATC'14, pp.281-292, 2014.

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen, Don't settle for eventual, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.401-416, 2011.
DOI : 10.1145/2043556.2043593

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen, Stronger Semantics for Low-latency Geo-replicated Storage, Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, NSDI'13, pp.313-328, 2013.

H. Mahmoud, F. Nawab, A. Pucher, D. Agrawal, and A. Abbadi, Low-latency multi-datacenter databases using replicated commit, Proceedings of the VLDB Endowment, vol.6, issue.9, pp.661-672, 2013.
DOI : 10.14778/2536360.2536366
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.5172

S. Martin, M. Ahmed-nacer, and P. Urso, Abstract unordered and ordered trees CRDT, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648106

S. Martin, M. Ahmed-nacer, and P. Urso, Controlled conflict resolution for replicated document, Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, pp.471-480, 2012.
DOI : 10.4108/icst.collaboratecom.2012.250461
URL : https://hal.archives-ouvertes.fr/hal-00763410

S. S. Owicki, Axiomatic Proof Techniques for Parallel Programs, 1975.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

N. Preguiça, J. L. Martins, M. Cunha, and H. Domingos, Reservations for Conflict Avoidance in a Mobile Database System, Proceedings of the 1st international conference on Mobile systems, applications and services, MobiSys '03, pp.43-56, 2003.
DOI : 10.1145/1066116.1189038

K. Ramamritham and C. Pu, A formal characterization of epsilon serializability, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.6, pp.997-1007, 1995.
DOI : 10.1109/69.476504

S. Roy, L. Kot, N. Foster, J. Gehrke, H. Hojjat et al., The Homeostasis Protocol, Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, SIGMOD '15, 2015.
DOI : 10.1145/2723372.2723720

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399

L. Shrira, H. Tian, and D. Terry, Exo-Leasing: Escrow Synchronization for Mobile Clients of Commodity Storage Servers, Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware, Middleware '08, pp.42-61, 2008.
DOI : 10.1145/971701.50215

S. Sivasubramanian, Amazon dynamoDB, Proceedings of the 2012 international conference on Management of Data, SIGMOD '12, pp.729-730
DOI : 10.1145/2213836.2213945

Y. Sovran, R. Power, M. K. Aguilera, and J. Li, Transactional storage for geo-replicated systems, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.385-400, 2011.
DOI : 10.1145/2043556.2043592

D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer et al., Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System, Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, SOSP '95, pp.172-182, 1995.

D. B. Terry, V. Prabhakaran, R. Kotla, M. Balakrishnan, M. K. Aguilera et al., Consistency-based service level agreements for cloud storage, Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, SOSP '13, pp.309-324, 2013.
DOI : 10.1145/2517349.2522731

G. D. Walborn and P. K. Chrysanthis, Supporting Semanticsbased Transaction Processing in Mobile Database Applications, Proceedings of the 14th Symposium on Reliable Distributed Systems, SRDS '95, pp.31-40, 1995.

H. Yu and A. Vahdat, Design and Evaluation of a Continuous Consistency Model for Replicated Services, Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation, 2000.

M. Zawirski, A. Bieniusa, V. Balegas, S. Duarte, C. Baquero et al., SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00870225

Y. Zhang, R. Power, S. Zhou, Y. Sovran, M. K. Aguilera et al., Transaction chains, Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, SOSP '13, pp.276-291, 2013.
DOI : 10.1145/2517349.2522729