{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T18:42:43Z","timestamp":1775068963720,"version":"3.50.1"},"reference-count":79,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001870","name":"Fundacja na rzecz Nauki Polskiej","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001870","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["POIR.04.04.00-00-5C5B\/17-00"],"award-info":[{"award-number":["POIR.04.04.00-00-5C5B\/17-00"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["DEC-2012\/07\/B\/ST6\/01230"],"award-info":[{"award-number":["DEC-2012\/07\/B\/ST6\/01230"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004239","name":"Politechnika Pozna\u0144ska","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004239","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2022,6,1]]},"DOI":"10.1109\/tpds.2021.3090318","type":"journal-article","created":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T19:25:42Z","timestamp":1623957942000},"page":"1338-1356","source":"Crossref","is-referenced-by-count":6,"title":["On Mixing Eventual and Strong Consistency: Acute Cloud Types"],"prefix":"10.1109","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4640-525X","authenticated-orcid":false,"given":"Maciej","family":"Kokocinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7601-1844","authenticated-orcid":false,"given":"Tadeusz","family":"Kobus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2008-278X","authenticated-orcid":false,"given":"Pawel T.","family":"Wojciechowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192375"},{"key":"ref72","article-title":"Zookeeper","year":"2019"},{"key":"ref71","first-page":"169","article-title":"Incremental consistency guarantees for replicated objects","author":"guerraoui","year":"2016","journal-title":"Proc Symp Oper Syst Des Implementation"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2015.32"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/343477.343502"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374516"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"ref75","article-title":"Bitcoin: A peer-to-peer electronic cash system","author":"nakamoto","year":"2008"},{"key":"ref38","first-page":"14:1","article-title":"Multi-shot distributed transaction commit","author":"chockler","year":"2018","journal-title":"Proc Int Symp Distrib Comput"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"ref79","article-title":"Dotted version vectors: Logical clocks for optimistic replication","author":"pregui\u00e7a","year":"2010"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11294-2"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057895"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15260-3"},{"key":"ref37","author":"bernstein","year":"1987","journal-title":"Concurrency Control and Recovery in Database Systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2012.55"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17187-8_36"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2767386.2767419"},{"key":"ref60","first-page":"23:1","article-title":"Consistency models with global operation sequencing and their composition","author":"gotsman","year":"2017","journal-title":"Proc Int Symp Distrib Comput"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"ref64","first-page":"313","article-title":"Stronger semantics for low-latency geo-replicated storage","author":"lloyd","year":"2013","journal-title":"Proc 10th Symp Networked Syst Des Implementation"},{"key":"ref27","article-title":"Understanding eventual consistency","author":"burckhardt","year":"2013","journal-title":"Tech Rep MSR-TR-2013–39"},{"key":"ref65","first-page":"453","article-title":"I can’t believe it’s not causal! Scalable causal consistency with no slowdown cascades","author":"mehdi","year":"2017","journal-title":"Proc 14th Symp Networked Syst Des Implementation"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522729"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3293611.3331583"},{"key":"ref67","first-page":"495","article-title":"Salt: Combining ACID and BASE in a distributed database","author":"xie","year":"2014","journal-title":"Proc 11th Symp Operating Syst Des Implementation"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100561"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/7239.7265"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294281"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/320071.320076"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref24","first-page":"1","article-title":"Consistency in 3D","volume":"59","author":"shapiro","year":"2016","journal-title":"Proc Int Conf on Concurrency Theory"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224070"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1561\/2500000011"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92612-4_3"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535877"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2926965"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_4"},{"key":"ref58","first-page":"204","article-title":"A formal model for eventual consistency semantics","author":"bosneag","year":"2002","journal-title":"Proc Int Conf Parallel Distrib Comput Syst"},{"key":"ref57","first-page":"169","article-title":"Zeno: Eventually consistent byzantine-fault tolerance","author":"singh","year":"2009","journal-title":"Proc 6th USENIX Symp Networked Syst Des Implementation"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248113"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/582318.582339"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/PDIS.1994.331722"},{"key":"ref52","article-title":"Representation and enumeration of interval orders","author":"greenough","year":"1976"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"ref40","first-page":"35","article-title":"Quasi-synchronism: A step away from the traditional fault-tolerant real-time system models","volume":"7","author":"verissimo","year":"1995","journal-title":"IEEE TCOS Bulletin"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_14"},{"key":"ref13","first-page":"568","article-title":"Global sequence protocol: A robust abstraction for replicated shared state","author":"burckhardt","year":"2015","journal-title":"Proc Eur Conf Object-Oriented Program"},{"key":"ref14","first-page":"265","article-title":"Making geo-replicated systems fast as possible, consistent when necessary","author":"li","year":"2012","journal-title":"Proc 10th USENIX Conf Operating Syst Des Implementation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/138873.138877"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"ref17","first-page":"359","article-title":"Fine-grained consistency for geo-replicated systems","author":"li","year":"2018","journal-title":"Proc USENIX Conf USENIX Annu Tech Conf"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391251"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3290387"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-63962-8_185-1","article-title":"Conflict-free replicated data types","author":"pregui\u00e7a","year":"2018"},{"key":"ref3","article-title":"A comprehensive study of convergent and commutative replicated data types","author":"shapiro","year":"2011","journal-title":"Tech Rep 7506"},{"key":"ref6","article-title":"Consistency levels in Cosmos DB","year":"2019"},{"key":"ref5","article-title":"Consistent reads in DynamoDB","year":"2019"},{"key":"ref8","article-title":"Consistency levels in Riak","year":"2019"},{"key":"ref7","article-title":"Light weight transactions in Cassandra","year":"2019"},{"key":"ref49","first-page":"1","article-title":"Closing the performance gap between causal consistency and eventual consistency","author":"du","year":"2014","journal-title":"Proc 1st Workshop Princ Pract Eventual Consistency"},{"key":"ref9","article-title":"Mixing LWT and non-LWT operations can result in an LWT operation being acknowledged but not applied","year":"2019"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"ref47","doi-asserted-by":"crossref","DOI":"10.1109\/SRDSW.2014.33","article-title":"SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client machine","author":"pregui\u00e7a","year":"2014"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2556669"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/234533.234549"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782772"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/9591458\/09459528.pdf?arnumber=9459528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T17:55:51Z","timestamp":1649440551000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9459528\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,1]]},"references-count":79,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2021.3090318","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,6,1]]}}}