{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T10:06:07Z","timestamp":1790417167579,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642354755","type":"print"},{"value":"9783642354762","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35476-2_6","type":"book-chapter","created":{"date-parts":[[2012,12,13]],"date-time":"2012-12-13T20:48:14Z","timestamp":1355431694000},"page":"76-90","source":"Crossref","is-referenced-by-count":1,"title":["Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers"],"prefix":"10.1007","author":[{"given":"Silvia","family":"Bonomi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Klappenecker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hyunyoung","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jennifer L.","family":"Welch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/992287.992298","volume":"35","author":"M. Aguilera","year":"2004","unstructured":"Aguilera, M.: A pleasant stroll through the land of infinitely many creatures. SIGACT News\u00a035(2), 36\u201359 (2004)","journal-title":"SIGACT News"},{"issue":"2","key":"6_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1944345.1944348","volume":"58","author":"M. Aguilera","year":"2011","unstructured":"Aguilera, M., Keidar, I., Malkhi, D., Shraer, A.: Dynamic atomic storage without consensus. J. ACM\u00a058(2), 7:1\u20137:32 (2011)","journal-title":"J. ACM"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","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\u00a042(1), 124\u2013142 (1995)","journal-title":"J. ACM"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Baldoni, R., Bonomi, S., Kermarrec, A., Raynal, M.: Implementing a Register in a Dynamic Distributed System. In: 29th International Conference on Distributed Computing Systems, ICDCS 2009 (2009)","DOI":"10.1109\/ICDCS.2009.46"},{"issue":"1","key":"6_CR5","doi-asserted-by":"publisher","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 Transaction on Parallel Distributed Systems\u00a023(1), 102\u2013109 (2012)","journal-title":"IEEE Transaction on Parallel Distributed Systems"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-45172-3_24","volume-title":"Peer-to-Peer Systems II","author":"R. Bhagwan","year":"2003","unstructured":"Bhagwan, R., Savage, S., Voelker, G.M.: Understanding Availability. In: Kaashoek, M., Stoica, I. (eds.) IPTPS 2003. LNCS, vol.\u00a02735, pp. 256\u2013267. Springer, Heidelberg (2003)"},{"key":"6_CR7","first-page":"147","volume-title":"Proceedings of the 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, SIGCOMM 2006","author":"G. Brighten","year":"2006","unstructured":"Brighten, G., Shenker, S., Stoica, I.: Minimizing churn in distributed systems. In: Proceedings of the 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, SIGCOMM 2006, pp. 147\u2013158. ACM, New York (2006)"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-5301-1","volume-title":"Fundamentals of Queueing Networks \u2013 Performance, Asymptotics, and Optimization","author":"H. Chen","year":"2001","unstructured":"Chen, H., Yao, D.: Fundamentals of Queueing Networks \u2013 Performance, Asymptotics, and Optimization. Springer, New York (2001)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","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., Shvartsman, A.: Reconfigurable distributed storage for dynamic networks. Journal Parallel Distributed Computing\u00a069(1), 100\u2013116 (2009)","journal-title":"Journal Parallel Distributed Computing"},{"key":"6_CR10","first-page":"259","volume-title":"International Conference on Dependable Systems and Networks, DSN 2003","author":"S. Gilbert","year":"2003","unstructured":"Gilbert, S., Lynch, N., Shvartsman, A.: Rambo ii: Rapidly reconfigurable atomic memory for dynamic networks. In: International Conference on Dependable Systems and Networks, DSN 2003, p. 259. IEEE Computer Society, Los Alamitos (2003)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00446-010-0117-1","volume":"23","author":"S. Gilbert","year":"2010","unstructured":"Gilbert, S., Lynch, N., Shvartsman, A.: Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Distributed Computing\u00a023, 225\u2013272 (2010)","journal-title":"Distributed Computing"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/945445.945475","volume-title":"Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, SOSP 2003","author":"K. Gummadi","year":"2003","unstructured":"Gummadi, K., Dunn, R., Saroiu, S., Gribble, S., Levy, H., Zahorjan, J.: Measurement, modeling, and analysis of a peer-to-peer file-sharing workload. In: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, SOSP 2003, pp. 314\u2013329. ACM, New York (2003)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst.\u00a012, 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-24550-3_23","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"A. Klappenecker","year":"2011","unstructured":"Klappenecker, A., Lee, H., Welch, J.L.: Dynamic Regular Registers in Systems with Churn. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol.\u00a06976, pp. 296\u2013310. Springer, Heidelberg (2011)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/SRDS.2008.19","volume-title":"Proceedings of the 2008 Symposium on Reliable Distributed Systems, SRDS 2008","author":"S. Ko","year":"2008","unstructured":"Ko, S., Hoque, I., Gupta, I.: Using tractable and realistic churn models to analyze quiescence behavior of distributed protocols. In: Proceedings of the 2008 Symposium on Reliable Distributed Systems, SRDS 2008, pp. 259\u2013268. IEEE Computer Society, Washington, DC (2008)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11558989_9","volume-title":"Peer-to-Peer Systems IV","author":"S. Krishnamurthy","year":"2005","unstructured":"Krishnamurthy, S., El-Ansary, S., Aurell, E., Haridi, S.: A Statistical Theory of Chord Under Churn. In: van Renesse, R. (ed.) IPTPS 2005. LNCS, vol.\u00a03640, pp. 93\u2013103. Springer, Heidelberg (2005)"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Lamport, L.: On interprocess communication, Part I: Models, Part II: Algorithms. Distributed Computing\u00a01(2), 77\u2013101 (1986)","journal-title":"Distributed Computing"},{"issue":"3","key":"6_CR18","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TNET.2007.893199","volume":"15","author":"D. Leonard","year":"2007","unstructured":"Leonard, D., Yao, Z., Rai, V., Loguinov, D.: On lifetime-based node failure and stochastic resilience of decentralized peer-to-peer networks. IEEE\/ACM Transaction on Networking\u00a015(3), 644\u2013656 (2007)","journal-title":"IEEE\/ACM Transaction on Networking"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/571825.571863","volume-title":"Proceedings of the Twenty-First Annual Symposium on Principles of Distributed Computing, PODC 2002","author":"D. Liben-Nowell","year":"2002","unstructured":"Liben-Nowell, D., Balakrishnan, H., Karger, D.: Analysis of the evolution of peer-to-peer systems. In: Proceedings of the Twenty-First Annual Symposium on Principles of Distributed Computing, PODC 2002, pp. 233\u2013242. ACM, New York (2002)"},{"key":"6_CR20","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.\u00a02508, pp. 173\u2013190. Springer, Heidelberg (2002)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-40026-5_11","volume-title":"Distributed Computing","author":"M. Merritt","year":"2000","unstructured":"Merritt, M., Taubenfeld, G.: Computing with Infinitely Many Processes. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, pp. 164\u2013178. Springer, Heidelberg (2000)"},{"key":"6_CR22","volume-title":"Adventures in Stochastic Processes","author":"S. Resnick","year":"1992","unstructured":"Resnick, S.: Adventures in Stochastic Processes. Birkh\u00e4user, Boston (1992)"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35476-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:17:45Z","timestamp":1620134265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35476-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642354755","9783642354762"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35476-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}