{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:15:58Z","timestamp":1759637758177,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319095806"},{"type":"electronic","value":"9783319095813"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","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":[[2014]]},"DOI":"10.1007\/978-3-319-09581-3_8","type":"book-chapter","created":{"date-parts":[[2014,8,2]],"date-time":"2014-08-02T11:20:14Z","timestamp":1406978414000},"page":"99-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Practically Self-stabilizing Paxos Replicated State-Machine"],"prefix":"10.1007","author":[{"given":"Peva","family":"Blanchard","sequence":"first","affiliation":[]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[]},{"given":"Joffroy","family":"Beauquier","sequence":"additional","affiliation":[]},{"given":"Sylvie","family":"Dela\u00ebt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,3]]},"reference":[{"issue":"1\u20133","key":"8_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. Theor. Comput. Sci. 308(1\u20133), 449\u2013515 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-24550-3_4","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"N Alon","year":"2011","unstructured":"Alon, N., Attiya, H., Dolev, S., Dubois, S., Potop-Butucaru, M., Tixeuil, S.: Pragmatic self-stabilization of atomic memory in message-passing systems. In: D\u00e9fago, X., Petit, F., Villain, V. (eds.) SSS 2011. LNCS, vol. 6976, pp. 19\u201331. Springer, Heidelberg (2011)"},{"key":"8_CR3","unstructured":"Blanchard, P., Dolev, S., Beauquier, J., Dela\u00ebt, S.: Self-stabilizing Paxos. CoRR, abs\/1305.4263 (2013)"},{"key":"8_CR4","unstructured":"Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: Proceedings of the Third Symposium on Operating Systems Design and Implementation, OSDI\u201999, Berkeley, CA, USA, pp. 173\u2013186. USENIX Association (1999)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Chandra, T.D., Griesemer, R., Redstone, J.: Paxos made live: an engineering perspective. In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC\u201907, New York, USA, pp. 398\u2013407. ACM (2007)","DOI":"10.1145\/1281100.1281103"},{"issue":"2","key":"8_CR6","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 time-stamping. SIAM J. Comput. 26(2), 418\u2013455 (1997)","journal-title":"SIAM J. Comput."},{"key":"8_CR7","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":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-33536-5_14","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"S Dolev","year":"2012","unstructured":"Dolev, S., Hanemann, A., Schiller, E.M., Sharma, S.: Self-stabilizing end-to-end communication in (bounded capacity, omitting, duplicating and non-FIFO) dynamic networks. In: Richa, A.W., Scheideler, C. (eds.) SSS 2012. LNCS, vol. 7596, pp. 133\u2013147. Springer, Heidelberg (2012)"},{"key":"8_CR9","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, 884\u2013900 (2010)","journal-title":"J. Comput. Syst. Sci."},{"key":"8_CR10","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, 374\u2013382 (1985)","journal-title":"J. ACM"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","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."},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF02242708","volume":"6","author":"A Israeli","year":"1993","unstructured":"Israeli, A., Li, M.: Bounded time-stamps. Distrib. Comput. 6(4), 205\u2013209 (1993)","journal-title":"Distrib. Comput."},{"issue":"7","key":"8_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"2","key":"8_CR14","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":"4","key":"8_CR15","first-page":"18","volume":"32","author":"L Lamport","year":"2001","unstructured":"Lamport, L.: Paxos made simple. ACM SIGACT News 32(4), 18\u201325 (2001)","journal-title":"ACM SIGACT News"},{"key":"8_CR16","unstructured":"Lamport, L.: Generalized consensus and Paxos. Technical report MSR-TR-2005-33, Microsoft Research (2005)"},{"issue":"2","key":"8_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s00446-006-0005-x","volume":"19","author":"L Lamport","year":"2006","unstructured":"Lamport, L.: Fast Paxos. Distrib. Comput. 19(2), 79\u2013103 (2006)","journal-title":"Distrib. Comput."},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-24100-0_22","volume-title":"Distributed Computing","author":"L Lamport","year":"2011","unstructured":"Lamport, L.: Byzantizing Paxos by refinement. In: Peleg, D. (ed.) Distributed Computing. LNCS, vol. 6950, pp. 211\u2013224. Springer, Heidelberg (2011)"},{"key":"8_CR19","volume-title":"Distributed Algorithms","author":"NA Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco (1996)"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09581-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T09:48:37Z","timestamp":1676886517000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-09581-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319095806","9783319095813"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09581-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}