{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T13:59:39Z","timestamp":1783605579806,"version":"3.55.0"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000003","name":"Boeing","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000003","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"REMS: Rigorous Engineering for Mainstream Systems” programme","award":["EP\/K008528"],"award-info":[{"award-number":["EP\/K008528"]}]},{"name":"Leverhulme Trust Early Career Fellowship"},{"DOI":"10.13039\/501100004815","name":"Isaac Newton Trust","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004815","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Nokia Bell Labs"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2022,7,1]]},"DOI":"10.1109\/tpds.2021.3118603","type":"journal-article","created":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T16:06:26Z","timestamp":1633881986000},"page":"1711-1724","source":"Crossref","is-referenced-by-count":16,"title":["A Highly-Available Move Operation for Replicated Trees"],"prefix":"10.1109","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7252-6958","authenticated-orcid":false,"given":"Martin","family":"Kleppmann","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4643-3541","authenticated-orcid":false,"given":"Dominic P.","family":"Mulligan","sequence":"additional","affiliation":[{"name":"Arm Research, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2954-4648","authenticated-orcid":false,"given":"Victor B. F.","family":"Gomes","sequence":"additional","affiliation":[{"name":"Google, Mountain View, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0818-6535","authenticated-orcid":false,"given":"Alastair R.","family":"Beresford","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/587078.587088"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0068-0_17"},{"key":"ref33","article-title":"A coordination-free, convergent, and safe replicated tree","author":"nair","year":"2021"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2757667.2757683"},{"key":"ref31","article-title":"File system on CRDT","author":"a -nacer","year":"2012"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2697382"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2851613.2852003"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/289444.289469"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2494266.2494278"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2009.20"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16934-2_37"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"ref29","article-title":"Abstract unordered and ordered trees CRDT","author":"martin","year":"2011"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1057977.1057980"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-0076-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224070"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1561\/2500000011"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2460276.2462076"},{"key":"ref50","article-title":"Rumor 1.0.2 source code","year":"1998"},{"key":"ref51","article-title":"What's in Unison? A formal specification and reference implementation of a file synchronizer","author":"pierce","year":"2004"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22496-7_3"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"ref54","article-title":"Rewriting the heart of our sync engine","author":"jayakar","year":"2020"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75221-9_1"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.37"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2911151.2911160"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/958160.958194"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10542-0","author":"nipkow","year":"2014","journal-title":"Concrete Semantics with Isabelle\/HOL"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2596631.2596632"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.12.006"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2009.173"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3380787.3393677"},{"key":"ref17","article-title":"Source code accompanying ‘A highly-available move operation for replicated trees’","author":"kleppmann","year":"2021","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3133933"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_17"},{"key":"ref5","article-title":"The analysis and co-design of weakly-consistent applications","author":"najafzadeh","year":"2016"},{"key":"ref8","author":"johnson","year":"1975"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.1999.795151"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref46","first-page":"63","article-title":"Implementation of the Ficus replicated file system","author":"guy","year":"1990","journal-title":"Proc Summer USENIX Conf"},{"key":"ref45","first-page":"183","article-title":"Resolving file conflicts in the Ficus file system","author":"reiher","year":"1994","journal-title":"Proc Summer USENIX Conf"},{"key":"ref48","article-title":"Rumor 1.0 User's Manual","author":"reiher","year":"1998"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49121-7_22"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/146941.146942"},{"key":"ref41","article-title":"How Figma's multiplayer technology works","author":"wallace","year":"0"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/PDIS.1993.253092"},{"key":"ref43","first-page":"95","article-title":"Flexible and safe resolution of file conflicts","author":"kumar","year":"1995","journal-title":"Proc USENIX Winter Techn Conf"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/9603995\/09563274.pdf?arnumber=9563274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T21:32:17Z","timestamp":1705354337000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9563274\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,1]]},"references-count":57,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2021.3118603","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"value":"1045-9219","type":"print"},{"value":"1558-2183","type":"electronic"},{"value":"2161-9883","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,7,1]]}}}