{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T03:05:48Z","timestamp":1725937548506},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720494"},{"type":"electronic","value":"9783319720500"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-72050-0_21","type":"book-chapter","created":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T11:57:13Z","timestamp":1514548633000},"page":"356-376","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Liveness of Dynamic Storage"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Spiegelman","sequence":"first","affiliation":[]},{"given":"Idit","family":"Keidar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,30]]},"reference":[{"key":"21_CR1","first-page":"84","volume":"102","author":"MK Aguilera","year":"2010","unstructured":"Aguilera, M.K., Keidar, I., Malkhi, D., Martin, J.P., Shraer, A., et al.: Reconfiguring replicated atomic storage: a tutorial. Bull. EATCS 102, 84\u2013108 (2010)","journal-title":"Bull. EATCS"},{"issue":"2","key":"21_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1944345.1944348","volume":"58","author":"MK Aguilera","year":"2011","unstructured":"Aguilera, M.K., Keidar, I., Malkhi, D., Shraer, A.: Dynamic atomic storage without consensus. J. ACM 58(2), 7 (2011)","journal-title":"J. ACM"},{"issue":"1","key":"21_CR3","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/200836.200869","volume":"42","author":"H Attiya","year":"1995","unstructured":"Attiya, H., Bar-Noy, A., Dolev, D.: Sharing memory robustly in message-passing systems. J. ACM (JACM) 42(1), 124\u2013142 (1995)","journal-title":"J. ACM (JACM)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-662-48653-5_6","volume-title":"Distributed Computing","author":"H Attiya","year":"2015","unstructured":"Attiya, H., Chung, H.C., Ellen, F., Kumar, S., Welch, J.L.: Simulating a shared register in an asynchronous system that never stops changing. In: Moses, Y. (ed.) DISC 2015. LNCS, vol. 9363, pp. 75\u201391. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-48653-5_6"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Baldoni, R., Bonomi, S., Kermarrec, A.M., Raynal, M.: Implementing a register in a dynamic distributed system. In: 29th IEEE International Conference on Distributed Computing Systems, ICDCS 2009, pp. 639\u2013647. IEEE (2009)","DOI":"10.1109\/ICDCS.2009.46"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-11476-2_3","volume-title":"Structural Information and Communication Complexity","author":"R Baldoni","year":"2010","unstructured":"Baldoni, R., Bonomi, S., Raynal, M.: Regular register: an implementation in a churn prone environment. In: Kutten, S., \u017derovnik, J. (eds.) SIROCCO 2009. LNCS, vol. 5869, pp. 15\u201329. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-11476-2_3"},{"issue":"1","key":"21_CR7","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1109\/TPDS.2011.97","volume":"23","author":"R Baldoni","year":"2012","unstructured":"Baldoni, R., Bonomi, S., Raynal, M.: Implementing a regular register in an eventually synchronous distributed system prone to continuous churn. IEEE Trans. Parallel Distrib. Syst. 23(1), 102\u2013109 (2012)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"21_CR8","unstructured":"Birman, K., Malkhi, D., Van Renesse, R.: Virtually synchronous methodology for dynamic service replication (2010)"},{"issue":"1","key":"21_CR9","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.jpdc.2008.07.007","volume":"69","author":"G Chockler","year":"2009","unstructured":"Chockler, G., Gilbert, S., Gramoli, V., Musial, P.M., Shvartsman, A.A.: Reconfigurable distributed storage for dynamic networks. J. Parallel Distrib. Comput. 69(1), 100\u2013116 (2009)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"4","key":"21_CR10","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/503112.503113","volume":"33","author":"GV Chockler","year":"2001","unstructured":"Chockler, G.V., Keidar, I., Vitenberg, R.: Group communication specifications: a comprehensive study. ACM Comput. Surv. (CSUR) 33(4), 427\u2013469 (2001)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"2","key":"21_CR11","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1145\/42282.42283","volume":"35","author":"C Dwork","year":"1988","unstructured":"Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. J. ACM 35(2), 288\u2013323 (1988)","journal-title":"J. ACM"},{"issue":"2","key":"21_CR12","doi-asserted-by":"crossref","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"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-662-48653-5_10","volume-title":"Distributed Computing","author":"E Gafni","year":"2015","unstructured":"Gafni, E., Malkhi, D.: Elastic configuration maintenance via a parsimonious speculating snapshot solution. In: Moses, Y. (ed.) DISC 2015. LNCS, vol. 9363, pp. 140\u2013153. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-48653-5_10"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Gilbert, S., Lynch, N., Shvartsman, A.: RAMBO II: rapidly reconfigurable atomic memory for dynamic networks. In: DSN. IEEE Computer Society (2003)","DOI":"10.1109\/DSN.2003.1209936"},{"issue":"4","key":"21_CR15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s00446-010-0117-1","volume":"23","author":"S Gilbert","year":"2010","unstructured":"Gilbert, S., Lynch, N.A., Shvartsman, A.A.: RAMBO: a robust, reconfigurable atomic memory service for dynamic networks. Distrib. Comput. 23(4), 225\u2013272 (2010)","journal-title":"Distrib. Comput."},{"issue":"3","key":"21_CR16","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"MP Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR17","unstructured":"Jehl, L., Meling, H.: The case for reconfiguration without consensus. In: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM (2016)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-662-48653-5_11","volume-title":"Distributed Computing","author":"L Jehl","year":"2015","unstructured":"Jehl, L., Vitenberg, R., Meling, H.: SmartMerge: a new approach to reconfiguration for atomic storage. In: Moses, Y. (ed.) DISC 2015. LNCS, vol. 9363, pp. 154\u2013169. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-48653-5_11"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Ko, S.Y., Hoque, I., Gupta, I.: Using tractable and realistic churn models to analyze quiescence behavior of distributed protocols. In: IEEE Symposium on Reliable Distributed Systems, SRDS 2008, pp. 259\u2013268. IEEE (2008)","DOI":"10.1109\/SRDS.2008.19"},{"issue":"2","key":"21_CR20","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF01786228","volume":"1","author":"L Lamport","year":"1986","unstructured":"Lamport, L.: On interprocess communication. Distrib. Comput. 1(2), 86\u2013101 (1986)","journal-title":"Distrib. Comput."},{"issue":"1","key":"21_CR21","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1753171.1753191","volume":"41","author":"L Lamport","year":"2010","unstructured":"Lamport, L., Malkhi, D., Zhou, L.: Reconfiguring a state machine. ACM SIGACT News 41(1), 63\u201373 (2010)","journal-title":"ACM SIGACT News"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/3-540-48169-9_6","volume-title":"Distributed Computing","author":"K Lin","year":"1999","unstructured":"Lin, K., Hadzilacos, V.: Asynchronous group membership with oracles. In: Jayanti, P. (ed.) DISC 1999. LNCS, vol. 1693, pp. 79\u201394. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-48169-9_6"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-36108-1_12","volume-title":"Distributed Computing","author":"N Lynch","year":"2002","unstructured":"Lynch, N., Shvartsman, A.A.: RAMBO: a reconfigurable atomic memory service for dynamic networks. In: Malkhi, D. (ed.) DISC 2002. LNCS, vol. 2508, pp. 173\u2013190. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-36108-1_12"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Mostefaoui, A., Raynal, M., Travers, C., Patterson, S., Agrawal, D., Abbadi, A.E.: From static distributed systems to dynamic systems. In: 24th IEEE Symposium on Reliable Distributed Systems, SRDS 2005, pp. 109\u2013118. IEEE (2005)","DOI":"10.1109\/RELDIS.2005.19"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Shraer, A., Martin, J.P., Malkhi, D., Keidar, I.: Data-centric reconfiguration with network-attached disks. In: LADIS 2010 (2010)","DOI":"10.1145\/1859184.1859191"},{"key":"21_CR26","unstructured":"Spiegelman, A., Keidar, I., Malkhi, D.: Dynamic reconfiguration: a tutorial. In: OPODIS (2015)"},{"key":"21_CR27","unstructured":"Spiegelman, A., Keidar, I., Malkhi, D.: Dynamic reconfiguration: abstraction and optimal asynchronous solution. In: DISC (2017)"}],"container-title":["Lecture Notes in Computer Science","Structural Information and Communication Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72050-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,29]],"date-time":"2017-12-29T12:03:59Z","timestamp":1514549039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72050-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319720494","9783319720500"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72050-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}