Semantics of Concurrent Revisions, Proceedings of the 20th European Conference on Programming Languages and Systems: Part of the Joint European Conferences on Theory and Practice of Software, pp.116-135, 2011. ,
DOI : 10.1007/11737414_1
Making data structures persistent, Journal of Computer and System Sciences, vol.38, issue.1, pp.86-124, 1989. ,
DOI : 10.1016/0022-0000(89)90034-2
Unikernels: Library operating systems for the cloud, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, pp.461-472, 2013. ,
Purely Functional Data Structures, p.9813847, 1996. ,
DOI : 10.1017/CBO9780511530104
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