M. S. Ardekani, P. Sutra, and M. Shapiro, Non-monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, 2013.
DOI : 10.1109/SRDS.2013.25
URL : https://hal.archives-ouvertes.fr/hal-00932758

M. S. Ardekani, P. Sutra, and M. Shapiro, G-DUR, Proceedings of the 15th International Middleware Conference on, Middleware '14, 2014.
DOI : 10.1145/564585.564601
URL : https://hal.archives-ouvertes.fr/hal-01109114

J. Grov and P. C. Ölveczky, Formal Modeling and Analysis of Google???s Megastore in Real-Time Maude, Specification, Algebra, and Software, 2014.
DOI : 10.1145/1953122.1953144

R. Guerraoui and A. Schiper, Genuine atomic multicast in asynchronous distributed systems, Theoretical Computer Science, vol.254, issue.1-2, pp.297-316, 2001.
DOI : 10.1016/S0304-3975(99)00161-9
URL : https://doi.org/10.1016/s0304-3975(99)00161-9

S. Liu, P. C. Ölveczky, and J. Meseguer, Modeling and analyzing mobile ad hoc networks in Real-Time Maude, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.1, pp.34-66, 2016.
DOI : 10.1016/j.jlamp.2015.05.002

S. Liu, P. C. Ölveczky, M. R. Rahman, J. Ganhotra, I. Gupta et al., Formal modeling and analysis of RAMP transaction systems, Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC '16, 2016.
DOI : 10.1007/978-3-319-11737-9_22

S. Liu, M. R. Rahman, S. Skeirik, I. Gupta, and J. Meseguer, Formal Modeling and Analysis of Cassandra in Maude, ICFEM'14, 2014.
DOI : 10.1007/978-3-319-11737-9_22

C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker et al., How Amazon web services uses formal methods, Communications of the ACM, vol.58, issue.4, pp.66-73, 2015.
DOI : 10.1145/2185376.2185383

P. C. Ölveczky, Formalizing and validating the P-Store replicated data store in Maude

P. C. Ölveczky, Design and validation of cloud computing data stores using formal methods, Proc. International Symposium on Intelligent Systems and Applications (ISA'16), 2016.

P. C. Ölveczky and S. Thorvaldsen, Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude, Theoretical Computer Science, vol.410, issue.2-3, pp.254-280, 2009.
DOI : 10.1016/j.tcs.2008.09.022

N. Schiper, P. Sutra, and F. Pedone, P-Store: Genuine Partial Replication in Wide Area Networks, 2010 29th IEEE Symposium on Reliable Distributed Systems, 2010.
DOI : 10.1109/SRDS.2010.32
URL : https://hal.archives-ouvertes.fr/hal-01293863

Y. Sovran, R. Power, M. K. Aguilera, and J. Li, Transactional storage for georeplicated systems, Proc. SOSP'11, 2011.