{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:38:32Z","timestamp":1725619112855},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245497"},{"type":"electronic","value":"9783642245503"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24550-3_4","type":"book-chapter","created":{"date-parts":[[2011,10,8]],"date-time":"2011-10-08T06:56:37Z","timestamp":1318056997000},"page":"19-31","source":"Crossref","is-referenced-by-count":5,"title":["Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems"],"prefix":"10.1007","author":[{"given":"Noga","family":"Alon","sequence":"first","affiliation":[]},{"given":"Hagit","family":"Attiya","sequence":"additional","affiliation":[]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[]},{"given":"Swan","family":"Dubois","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Potop-Butucaru","sequence":"additional","affiliation":[]},{"given":"S\u00e9bastien","family":"Tixeuil","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1016\/S0304-3975(03)00130-0","volume":"308","author":"U. Abraham","year":"2003","unstructured":"Abraham, U.: Self-stabilizing timestamps. Theoretical Computer Science\u00a0308(1-3), 449\u2013515 (2003)","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","unstructured":"Attiya, H.: Robust Simulation of Shared Memory: 20 Years After. EATCS Distributed Computing Column (2010)"},{"issue":"1","key":"4_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. Journal of the ACM\u00a042(1), 124\u2013142 (1995)","journal-title":"Journal of the ACM"},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1002\/0471478210","volume-title":"Distributed Computing: Fundamentals, Simulations, and Advanced Topics","author":"H. Attiya","year":"2004","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics, 2nd edn. Wiley Press, Chichester (2004)","edition":"2"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/BFb0020443","volume-title":"Distributed Algorithms","author":"B. Awerbuch","year":"1994","unstructured":"Awerbuch, B., Patt-Shamir, B., Varghese, G., Dolev, S.: Self-Stabilization by Local Checking and Global Reset. In: Tel, G., Vit\u00e1nyi, P.M.B. (eds.) WDAG 1994. LNCS, vol.\u00a0857, pp. 326\u2013339. Springer, Heidelberg (1994)"},{"key":"4_CR6","unstructured":"Awerbuch, B., Patt-Shamir, B., Varghese, G.: Bounding the Unbounded. In: INFOCOM, pp. 776\u2013783 (1994)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Baldoni, R., Bonomi, S., Kermarrec, A.-M., Raynal, M.: Implementing a Register in a Dynamic Distributed System. In: ICDCS (2009)","DOI":"10.1109\/ICDCS.2009.46"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Delaet, S., Dolev, S., Peres, O.: Safe and Eventually Safe: Comparing Stabilizing Algorithms and non-Stabilizing Algorithms on a Common Ground. In: Proc. of the 2009 International Conference on Principles of Distributed Systems (OPODIS), pp. 315\u2013329 (2009)","DOI":"10.1007\/978-3-642-10877-8_25"},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6156.001.0001","volume-title":"Self-Stabilization","author":"S. Dolev","year":"2000","unstructured":"Dolev, S.: Self-Stabilization. MIT Press, Cambridge (2000)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"912","DOI":"10.1016\/j.ipl.2011.06.010","volume":"111","author":"S. Dolev","year":"2011","unstructured":"Dolev, S., Dubois, S., Potop-Butucaru, M., Tixeuil, S.: Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Information Processing Letters\u00a0111, 912\u2013920 (2011)","journal-title":"Information Processing Letters"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45438-1_5","volume-title":"Self-Stabilizing Systems","author":"S. Dolev","year":"2001","unstructured":"Dolev, S., Herman, T.: Dijkstra\u2019s self-stabilizing algorithm in unsupportive environments. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol.\u00a02194, pp. 67\u201381. Springer, Heidelberg (2001)"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1137\/S0097539792235074","volume":"26","author":"S. Dolev","year":"1997","unstructured":"Dolev, S., Israeli, A., Moran, S.: Resource Bounds for Self-Stabilizing Message-Driven Protocols. SIAM J. Comput.\u00a026(1), 273\u2013290 (1997)","journal-title":"SIAM J. Comput."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/11945529_5","volume-title":"Principles of Distributed Systems","author":"S. Dolev","year":"2006","unstructured":"Dolev, S., Kat, R.I., Schiller, E.M.: When Consensus Meets Self-stabilization, Self-stabilizing Failure-Detector, and Replicated State-Machine. In: Shvartsman, M.M.A.A. (ed.) OPODIS 2006. LNCS, vol.\u00a04305, pp. 45\u201363. Springer, Heidelberg (2006)"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1137\/S0097539790192647","volume":"26","author":"D. Dolev","year":"1997","unstructured":"Dolev, D., Shavit, N.: Bounded Concurrent timestamping. SIAM Journal on Computing\u00a026(2), 418\u2013455 (1997)","journal-title":"SIAM Journal on Computing"},{"issue":"6-7","key":"4_CR15","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1016\/j.tcs.2008.10.006","volume":"410","author":"S. Dolev","year":"2009","unstructured":"Dolev, S., Tzachar, N.: Empire of colonies: Self-stabilizing and self-organizing distributed algorithm. Theoretical Computer Science\u00a0410(6-7), 514\u2013532 (2009)","journal-title":"Theoretical Computer Science"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Dolev, S., Tzachar, N.: Spanders: distributed spanning expanders. In: SAC (2010)","DOI":"10.1145\/1774088.1774369"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/12.559799","volume":"46","author":"S. Dolev","year":"1997","unstructured":"Dolev, S., Welch, J.L.: Crash Resilient Communication in Dynamic Networks. IEEE Trans. Computers\u00a046(1), 14\u201326 (1997)","journal-title":"IEEE Trans. Computers"},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF02242708","volume":"6","author":"A. Israeli","year":"1993","unstructured":"Israeli, A., Li, M.: Bounded timestamps. Distributed Computing\u00a06(4), 205\u2013209 (1993)","journal-title":"Distributed Computing"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-92295-7_41","volume-title":"Distributed Computing and Networking","author":"C. Johnen","year":"2008","unstructured":"Johnen, C., Higham, L.: Fault-tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks. In: Garg, V., Wattenhofer, R., Kothapalli, K. (eds.) ICDCN 2009. LNCS, vol.\u00a05408, pp. 337\u2013348. Springer, Heidelberg (2008)"},{"issue":"2","key":"4_CR20","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 Transactions on Computer Systems\u00a016(2), 133\u2013169 (1998)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"2","key":"4_CR21","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: Basic Formalism. Distributed Computing\u00a01(2), 77\u201385 (1986)","journal-title":"Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24550-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T10:21:08Z","timestamp":1554891668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24550-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245497","9783642245503"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24550-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}