{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:06Z","timestamp":1760202726049,"version":"3.41.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T00:00:00Z","timestamp":1483574400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["N ANR-14-CE35-0010-01"],"award-info":[{"award-number":["N ANR-14-CE35-0010-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s00446-016-0292-9","type":"journal-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T13:54:16Z","timestamp":1483624456000},"page":"479-492","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The weakest failure detector for eventual consistency"],"prefix":"10.1007","volume":"32","author":[{"given":"Swan","family":"Dubois","sequence":"first","affiliation":[]},{"given":"Rachid","family":"Guerraoui","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1148-1228","authenticated-orcid":false,"given":"Petr","family":"Kuznetsov","sequence":"additional","affiliation":[]},{"given":"Franck","family":"Petit","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Sens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,5]]},"reference":[{"key":"292_CR1","doi-asserted-by":"crossref","unstructured":"Brewer, E.A.: Towards robust distributed systems (abstract). In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing (PODC\u201900), p. 7 (2000)","DOI":"10.1145\/343477.343502"},{"issue":"1\u20132","key":"292_CR2","first-page":"1","volume":"1","author":"S Burckhardt","year":"2014","unstructured":"Burckhardt, S.: Principles of eventual consistency. Found. Trends Program. Lang. 1(1\u20132), 1\u2013150 (2014)","journal-title":"Found. Trends Program. Lang."},{"key":"292_CR3","unstructured":"Burckhardt, S., Leijen, D., Protzenko, J., F\u00e4hndrich, M.: Global sequence protocol: a robust abstraction for replicated shared state. In: 29th European Conference on Object-Oriented Programming (ECOOP 2015), July 5\u201310, 2015, Prague, Czech Republic, pp. 568\u2013590 (2015)"},{"issue":"4","key":"292_CR4","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1145\/234533.234549","volume":"43","author":"TD Chandra","year":"1996","unstructured":"Chandra, T.D., Hadzilacos, V., Toueg, S.: The weakest failure detector for solving consensus. J. ACM 43(4), 685\u2013722 (1996)","journal-title":"J. ACM"},{"issue":"2","key":"292_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"TD Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. J. ACM 43(2), 225\u2013267 (1996)","journal-title":"J. ACM"},{"issue":"2","key":"292_CR6","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/1365815.1365816","volume":"26","author":"F Chang","year":"2008","unstructured":"Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.E.: Bigtable: a distributed storage system for structured data. ACM Trans. Comput. Syst. 26(2), 4:1\u20134:26 (2008)","journal-title":"ACM Trans. Comput. Syst."},{"key":"292_CR7","unstructured":"Charron-Bost, B., Tel, G.: Approximation d\u2019une borne inf\u00e9rieure r\u00e9partie. Technical Report LIX\/RR\/94\/06, Laboratoire d\u2019Informatique LIX, \u00c9cole Polytechnique (1994)"},{"issue":"2","key":"292_CR8","doi-asserted-by":"publisher","first-page":"1277","DOI":"10.14778\/1454159.1454167","volume":"1","author":"BF Cooper","year":"2008","unstructured":"Cooper, B.F., Ramakrishnan, R., Srivastava, U., Silberstein, A., Bohannon, P., Jacobsen, H.-A., Puz, N., Weaver, D., Yerneni, R.: Pnuts: Yahoo!\u2019s hosted data serving platform. Proc. VLDB Endow. 1(2), 1277\u20131288 (2008)","journal-title":"Proc. VLDB Endow."},{"issue":"1","key":"292_CR9","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1006\/inco.1995.1060","volume":"118","author":"F Cristian","year":"1995","unstructured":"Cristian, F., Aghili, H., Strong, R., Dolev, D.: Atomic broadcast. Inf. Comput. 118(1), 158\u2013179 (1995)","journal-title":"Inf. Comput."},{"key":"292_CR10","unstructured":"DeCandia, G., Hastorun, D., Jampani, M., Kakulapati, G., Lakshman, A., Pilchin, A., Sivasubramanian, S., Vosshall, P., Vogels, W.: Dynamo: Amazon\u2019s highly available key-value store. In: Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles (SOSP\u201907), pp. 205\u2013220. ACM, New York, NY, USA, (2007)"},{"key":"292_CR11","doi-asserted-by":"crossref","unstructured":"Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.: Tight failure detection bounds on atomic object implementations. J. ACM 57(4), 22:1\u201322:32 (2010)","DOI":"10.1145\/1734213.1734216"},{"issue":"8","key":"292_CR12","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1016\/j.jcss.2010.05.005","volume":"76","author":"S Dolev","year":"2010","unstructured":"Dolev, S., Kat, R.I., Schiller, E.M.: When consensus meets self-stabilization. J. Comput. Syst. Sci. 76(8), 884\u2013900 (2010)","journal-title":"J. Comput. Syst. Sci."},{"key":"292_CR13","doi-asserted-by":"crossref","unstructured":"Dubois, S., Guerraoui, R., Kuznetsov, P., Petit, F., Sens, P.: The weakest failure detector for eventual consistency. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015), pp. 375\u2013384 (2015)","DOI":"10.1145\/2767386.2767404"},{"key":"292_CR14","doi-asserted-by":"crossref","unstructured":"Fekete, A., Gupta, D., Luchangco, V., Lynch, N., Shvartsman, A.: Eventually-serializable data services. In: Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing (PODC\u201996), pp. 300\u2013309. ACM, New York, NY, USA (1996)","DOI":"10.1145\/248052.248113"},{"issue":"2","key":"292_CR15","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"MJ Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374\u2013382 (1985)","journal-title":"J. ACM"},{"issue":"2","key":"292_CR16","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/1883612.1883616","volume":"43","author":"FC Freiling","year":"2011","unstructured":"Freiling, F.C., Guerraoui, R., Kuznetsov, P.: The failure detector abstraction. ACM Comput. Surv. 43(2), 9:1\u20139:40 (2011)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"292_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33(2), 51\u201359 (2002)","journal-title":"SIGACT News"},{"issue":"6","key":"292_CR18","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1137\/070698877","volume":"41","author":"R Guerraoui","year":"2012","unstructured":"Guerraoui, R., Hadzilacos, V., Kuznetsov, P., Toueg, S.: The weakest failure detectors to solve quittable consensus and nonblocking atomic commit. SIAM J. Comput. 41(6), 1343\u20131379 (2012)","journal-title":"SIAM J. Comput."},{"key":"292_CR19","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Ruppert, E.: A paradox of eventual linearizability in shared memory. In: Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing (PODC\u201914), pp. 40\u201349 (2014)","DOI":"10.1145\/2611462.2611484"},{"key":"292_CR20","unstructured":"Hadzilacos, V., Toueg, S.: A Modular Approach to Fault-tolerant Broadcasts and Related Problems. Technical Report TR 94-1425, Department of Computer Science, Cornell University (1994)"},{"key":"292_CR21","doi-asserted-by":"crossref","unstructured":"Jayanti, P., Toueg, S.: Every Problem has a Weakest Failure Detector. In: PODC, pp. 75\u201384 (2008)","DOI":"10.1145\/1400751.1400763"},{"key":"292_CR22","doi-asserted-by":"crossref","unstructured":"Kuhn, F., Moses, Y., Oshman, R.: Coordinated consensus in dynamic networks. In: Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 1\u201310. ACM (2011)","DOI":"10.1145\/1993806.1993808"},{"issue":"2","key":"292_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1773912.1773922","volume":"44","author":"A Lakshman","year":"2010","unstructured":"Lakshman, A., Malik, P.: Cassandra: a decentralized structured storage system. SIGOPS Oper. Syst. Rev. 44(2), 35\u201340 (2010)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"2","key":"292_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocessor programs. Trans. Softw. Eng. 3(2), 125\u2013143 (1977)","journal-title":"Trans. Softw. Eng."},{"issue":"2","key":"292_CR25","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/279227.279229","volume":"16","author":"L Lamport","year":"1998","unstructured":"Lamport, L.: The part-time parliament. ACM Trans. Comput. Syst. 16(2), 133\u2013169 (1998)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"2","key":"292_CR26","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/s00446-006-0155-x","volume":"19","author":"L Lamport","year":"2006","unstructured":"Lamport, L.: Lower bounds for asynchronous consensus. Distrib. Comput. 19(2), 104\u2013125 (2006)","journal-title":"Distrib. Comput."},{"issue":"5\u20136","key":"292_CR27","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0020-0190(00)00027-2","volume":"73","author":"A Mostefaoui","year":"2000","unstructured":"Mostefaoui, A., Raynal, M., Tronel, F.: From binary consensus to multivalued consensus in asynchronous message-passing systems. Inf. Process. Lett. 73(5\u20136), 207\u2013212 (2000)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"292_CR28","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1057977.1057980","volume":"37","author":"Y Saito","year":"2005","unstructured":"Saito, Y., Shapiro, M.: Optimistic replication. ACM Comput. Surv. 37(1), 42\u201381 (2005)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"292_CR29","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/98163.98167","volume":"22","author":"FB Schneider","year":"1990","unstructured":"Schneider, F.B.: Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput. Surv. 22(4), 299\u2013319 (1990)","journal-title":"ACM Comput. Surv."},{"key":"292_CR30","doi-asserted-by":"crossref","unstructured":"Serafini, M., Dobre, D., Majuntke, M., Bokor, P., Suri, N.: Eventually linearizable shared objects. In: Richa, A.W., Guerraoui, R. (eds.) Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, pp. 95\u2013104. ACM (2010)","DOI":"10.1145\/1835698.1835723"},{"key":"292_CR31","unstructured":"Singh, A., Fonseca, P., Kuznetsov, P., Rodrigues, R., Maniatis, P.: Zeno: eventually consistent byzantine-fault tolerance. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201909), pp. 169\u2013184. USENIX Association, Berkeley, CA, USA (2009)"},{"key":"292_CR32","doi-asserted-by":"crossref","unstructured":"Terry, D.B., Demers, A.J., Petersen, K., Spreitzer, M. Theimer, M., Welch, B.W.: Session guarantees for weakly consistent replicated data. In: Proceedings of the Third International Conference on Parallel and Distributed Information Systems (PDIS\u201994) pp. 140\u2013149. IEEE Computer Society, Washington, DC, USA (1994)","DOI":"10.1109\/PDIS.1994.331722"},{"issue":"1","key":"292_CR33","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1435417.1435432","volume":"52","author":"W Vogels","year":"2009","unstructured":"Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40\u201344 (2009)","journal-title":"Commun. ACM"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-016-0292-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-016-0292-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-016-0292-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T01:02:49Z","timestamp":1749862969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-016-0292-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,5]]},"references-count":33,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["292"],"URL":"https:\/\/doi.org\/10.1007\/s00446-016-0292-9","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[2017,1,5]]},"assertion":[{"value":"29 September 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}