Cause I'M Strong Enough: Reasoning About Consistency Choices in Distributed Systems, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. St, pp.371-384, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01243192
url: https://github.com/boogie-org/boogie, 2017. ,
The CISE tool, Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC '16, pp.1-2, 2016. ,
DOI : 10.1145/2517349.2522731
URL : https://hal.archives-ouvertes.fr/hal-01350636
The Analysis and Co-design of Weakly-Consistent Applications " . Theses, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01425989
Bringing Hybrid Consistency Closer to Programmers, Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data , PaPoC'17, pp.1-6, 2017. ,
DOI : 10.1145/3064889.3064896
This is Boogie 2 url: https : / / www . microsoft.com/en-us, Microsoft Research, 2008. ,
The Escrow Transactional Method, In: ACM Trans. Database Syst, vol.11, issue.4, pp.405-430, 1986. ,
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), pp.2015-2046 ,
DOI : 10.1109/SRDS.2015.32
URL : https://hal.archives-ouvertes.fr/hal-01248192
Conflict-Free Replicated Data Types, Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems. SSS'11, pp.386-400, 2011. ,
DOI : 10.1145/800222.806750
URL : https://hal.archives-ouvertes.fr/hal-00932836
Replicated abstract data types: Building blocks for collaborative applications, Journal of Parallel and Distributed Computing, vol.71, issue.3, pp.354-368, 2011. ,
DOI : 10.1016/j.jpdc.2010.12.006
Verifying strong eventual consistency in distributed systems, Proceedings of the ACM on Programming Languages, vol.1, issue.OOPSLA, 2011. ,
DOI : 10.1007/978-3-662-43613-4_3