{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:20:25Z","timestamp":1743142825420,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030643478"},{"type":"electronic","value":"9783030643485"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-64348-5_7","type":"book-chapter","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T07:04:38Z","timestamp":1606201478000},"page":"81-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Invited Paper: Reactive PLS for Distributed Decision"],"prefix":"10.1007","author":[{"given":"Jiaqi","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shay","family":"Kutten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,25]]},"reference":[{"issue":"5","key":"7_CR1","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1006\/jpdc.2001.1823","volume":"62","author":"Y Afek","year":"2002","unstructured":"Afek, Y., Dolev, S.: Local stabilizer. J. Parallel Distrib. Comput. 62(5), 745\u2013765 (2002)","journal-title":"J. Parallel Distrib. Comput."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-54099-7_2","volume-title":"Distributed Algorithms","author":"Y Afek","year":"1991","unstructured":"Afek, Y., Kutten, S., Yung, M.: Memory-efficient self stabilizing protocols for general networks. In: van Leeuwen, J., Santoro, N. (eds.) WDAG 1990. LNCS, vol. 486, pp. 15\u201328. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-54099-7_2"},{"issue":"1\u20132","key":"7_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0304-3975(96)00286-1","volume":"186","author":"Y Afek","year":"1997","unstructured":"Afek, Y., Kutten, S., Yung, M.: The local detection paradigm and its applications to self-stabilization. Theoret. Comput. Sci. 186(1\u20132), 199\u2013229 (1997)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/77600.77618","volume":"37","author":"B Awerbuch","year":"1990","unstructured":"Awerbuch, B., Goldreich, O., Vainish, R., Peleg, D.: A trade-off between information and communication in broadcast protocols. J. ACM (JACM) 37(2), 238\u2013256 (1990)","journal-title":"J. ACM (JACM)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Awerbuch, B., Kutten, S., Mansour, Y., Patt-Shamir, B., Varghese, G.: Time optimal self-stabilizing synchronization. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, pp. 652\u2013661 (1993)","DOI":"10.1145\/167088.167256"},{"key":"7_CR6","first-page":"268","volume":"91","author":"B Awerbuch","year":"1991","unstructured":"Awerbuch, B., Patt-Shamir, B., Varghese, G.: Self-stabilization by local checking and correction. FOCS. 91, 268\u2013277 (1991)","journal-title":"FOCS."},{"key":"7_CR7","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. (eds.) WDAG 1994. LNCS, vol. 857, pp. 326\u2013339. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0020443"},{"key":"7_CR8","first-page":"258","volume":"91","author":"B Awerbuch","year":"1991","unstructured":"Awerbuch, B., Varghese, G.: Distributed program checking: a paradigm for building self-stabilizing distributed protocols. FOCS 91, 258\u2013267 (1991)","journal-title":"FOCS"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Balliu, A., Brandt, S., Olivetti, D., Suomela, J.: How much does randomness help with locally checkable problems? In: Proceedings of the 39th Symposium on Principles of Distributed Computing, pp. 299\u2013308 (2020)","DOI":"10.1145\/3382734.3405715"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/BFb0056474","volume-title":"Distributed Computing","author":"J Beauquier","year":"1998","unstructured":"Beauquier, J., Dela\u00ebt, S., Dolev, S., Tixeuil, S.: Transient fault detectors. In: Kutten, S. (ed.) DISC 1998. LNCS, vol. 1499, pp. 62\u201374. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0056474"},{"issue":"1","key":"7_CR11","first-page":"3","volume":"14","author":"J Beauquier","year":"2005","unstructured":"Beauquier, J., Pilard, L., Rozoy, B.: Observing locally self-stabilization. J. High Speed Netw. 14(1), 3\u201319 (2005)","journal-title":"J. High Speed Netw."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11561927_29","volume-title":"Distributed Computing","author":"J Beauquier","year":"2005","unstructured":"Beauquier, J., Pilard, L., Rozoy, B.: Observing locally self-stabilization in a probabilistic way. In: Fraigniaud, P. (ed.) DISC 2005. LNCS, vol. 3724, pp. 399\u2013413. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11561927_29"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/63264.63403","volume":"11","author":"JE Burns","year":"1989","unstructured":"Burns, J.E., Pachl, J.K.: Uniform self-stabilizing rings. ACM Trans. Programm. Lang. Syst. (TOPLAS) 11(2), 330\u2013344 (1989)","journal-title":"ACM Trans. Programm. Lang. Syst. (TOPLAS)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"KM Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"key":"7_CR15","unstructured":"D\u00e9fago, X., Emek, Y., Kutten, S., Masuzawa, T., Tamura, Y.: Communication efficient self-stabilizing leader election. arXiv preprint arXiv:2008.04252 (2020)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BFb0056478","volume-title":"Distributed Computing","author":"MJ Demmer","year":"1998","unstructured":"Demmer, M.J., Herlihy, M.P.: The arrow distributed directory protocol. In: Kutten, S. (ed.) DISC 1998. LNCS, vol. 1499, pp. 119\u2013133. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0056478"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Dijkstra, E.W.: Self-stabilization in spite of distributed control. In: Selected Writings on Computing: A Personal Perspective, pp. 41\u201346. Springer (1982). https:\/\/doi.org\/10.1007\/978-1-4612-5695-3_7","DOI":"10.1007\/978-1-4612-5695-3_7"},{"key":"7_CR18","unstructured":"Dolev, S., Israeli, A., Moran, S.: Self stabilization of dynamic systems. In: Proceedings of the MCC Workshop on Self-Stabilizing Systems, Microelectronics and Computer Technology Corporation. Technical report Number STP-379-89, Austin (1989)"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02278851","volume":"7","author":"S Dolev","year":"1993","unstructured":"Dolev, S., Israeli, A., Moran, S.: Self stabilization of dynamic systems assuming only read write atomicity. Distrib. Comput. 7, 3\u201316 (1993)","journal-title":"Distrib. Comput."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Dolev, S.: Self-Stabilization. MIT press, Cambridge (2000)","DOI":"10.7551\/mitpress\/6156.001.0001"},{"issue":"6","key":"7_CR21","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s002360050180","volume":"36","author":"S Dolev","year":"1999","unstructured":"Dolev, S., Gouda, M.G., Schneider, M.: Memory requirements for silent stabilization. Acta Informatica 36(6), 447\u2013462 (1999)","journal-title":"Acta Informatica"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Dolev, S., Herman, T.: Superstabilizing protocols for dynamic distributed systems. In: Proceedings of the Fourteenth ACM PODC, p. 255 (1995)","DOI":"10.1145\/224964.224993"},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02278851","volume":"7","author":"S Dolev","year":"1993","unstructured":"Dolev, S., Israeli, A., Moran, S.: Self-stabilization of dynamic systems assuming only read\/write atomicity. Distrib. Comput. 7(1), 3\u201316 (1993)","journal-title":"Distrib. Comput."},{"issue":"5\u20136","key":"7_CR24","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s00236-010-0119-2","volume":"47","author":"S Dolev","year":"2010","unstructured":"Dolev, S., Tzachar, N.: Randomization adaptive self-stabilization. Acta informatica 47(5\u20136), 313\u2013323 (2010)","journal-title":"Acta informatica"},{"issue":"24","key":"7_CR25","doi-asserted-by":"publisher","first-page":"2642","DOI":"10.1016\/j.tcs.2010.08.007","volume":"412","author":"Y Emek","year":"2011","unstructured":"Emek, Y., Fraigniaud, P., Korman, A., Ros\u00e9n, A.: Online computation with advice. Theoret. Comput. Sci. 412(24), 2642\u20132656 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR26","unstructured":"Even, G., et al.: Three notes on distributed property testing. In: 31st International Symposium on Distributed Computing (DISC 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017)"},{"key":"7_CR27","unstructured":"Feuilloley, L., Fraigniaud, P., Hirvonen, J.: A hierarchy of local decision. arXiv preprint arXiv:1602.08925 (2016)"},{"issue":"1","key":"7_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0304-3975(01)00395-4","volume":"291","author":"P Flocchini","year":"2003","unstructured":"Flocchini, P., Mans, B., Santoro, N.: Sense of direction in distributed computing. Theoret. Comput. Sci. 291(1), 29\u201353 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Foerster, K.T., Richter, O., Seidel, J., Wattenhofer, R.: Local checkability in dynamic networks. In: Proceedings of the 18th International Conference on Distributed Computing and Networking, pp. 1\u201310 (2017)","DOI":"10.1145\/3007748.3007779"},{"issue":"5","key":"7_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2499228","volume":"60","author":"P Fraigniaud","year":"2013","unstructured":"Fraigniaud, P., Korman, A., Peleg, D.: Towards a complexity theory for local distributed computing. J. ACM (JACM) 60(5), 1\u201326 (2013)","journal-title":"J. ACM (JACM)"},{"key":"7_CR31","first-page":"45","volume":"1996","author":"S Ghosh","year":"1996","unstructured":"Ghosh, S., Gupta, A., Herman, T., Pemmaraju, S.V.: Fault-containing self-stabilizing algorithms. Proc. ACM PODC 1996, 45\u201354 (1996)","journal-title":"Proc. ACM PODC"},{"issue":"1","key":"7_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0020-0190(89)90101-4","volume":"31","author":"D Ginat","year":"1989","unstructured":"Ginat, D., Sleator, D.D., Tarjan, R.E.: A tight amortized bound for path reversal. Inf. Process. Lett. 31(1), 3\u20135 (1989)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"7_CR33","first-page":"1","volume":"12","author":"M G\u00f6\u00f6s","year":"2016","unstructured":"G\u00f6\u00f6s, M., Suomela, J.: Locally checkable proofs in distributed computing. Theory Comput. 12(1), 1\u201333 (2016)","journal-title":"Theory Comput."},{"issue":"1","key":"7_CR34","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF02278852","volume":"7","author":"S Katz","year":"1993","unstructured":"Katz, S., Perry, K.J.: Self-stabilizing extensions for meassage-passing systems. Distrib. Comput. 7(1), 17\u201326 (1993)","journal-title":"Distrib. Comput."},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Kol, G., Oshman, R., Saxena, R.R.: Interactive distributed proofs. In: Proceedings of the 2018 ACM PODC, pp. 255\u2013264 (2018)","DOI":"10.1145\/3212734.3212771"},{"key":"7_CR36","unstructured":"Kor, L., Korman, A., Peleg, D.: Tight bounds for distributed MST verification (2011)"},{"issue":"4","key":"7_CR37","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s00446-010-0095-3","volume":"22","author":"A Korman","year":"2010","unstructured":"Korman, A., Kutten, S., Peleg, D.: Proof labeling schemes. Distrib. Comput. 22(4), 215\u2013233 (2010)","journal-title":"Distrib. Comput."},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Kutten, S., Patt-Shamir, B.: Time-adaptive self stabilization. In: Proceedings of the Sixteenth ACM PODC, pp. 149\u2013158 (1997)","DOI":"10.1145\/259380.259435"},{"key":"7_CR39","unstructured":"Lamport, L.: The mutual exclusion problem: Part II-statement and solutions. J. ACM 33(2), 327\u2013348 (1986). https:\/\/doi-org.ezlibrary.technion.ac.il\/10.1145\/5383.5385"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Lin, C., Simon, J.: Observing self-stabilization. In: Proceedings of the Eleventh ACM PODC, pp. 113\u2013123 (1992)","DOI":"10.1145\/135419.135444"},{"issue":"1","key":"7_CR41","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1137\/0221015","volume":"21","author":"N Linial","year":"1992","unstructured":"Linial, N.: Locality in distributed graph algorithms. SIAM J. Comput. 21(1), 193\u2013201 (1992)","journal-title":"SIAM J. Comput."},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Naor, M., Parter, M., Yogev, E.: The power of distributed verifiers in interactive proofs. In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1096\u20131115. SIAM (2020)","DOI":"10.1137\/1.9781611975994.67"},{"issue":"6","key":"7_CR43","doi-asserted-by":"publisher","first-page":"1259","DOI":"10.1137\/S0097539793254571","volume":"24","author":"M Naor","year":"1995","unstructured":"Naor, M., Stockmeyer, L.: What can be computed locally? SIAM J. Comput. 24(6), 1259\u20131277 (1995)","journal-title":"SIAM J. Comput."},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Onus, M., Richa, A., Scheideler, C.: Linearization: locally self-stabilizing sorting in graphs. In: 2007 Proceedings of the Ninth Workshop on Algorithm Engineering and Experiments (ALENEX), pp. 99\u2013108. SIAM (2007)","DOI":"10.1137\/1.9781611972870.10"},{"issue":"5","key":"7_CR45","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1137\/11085178X","volume":"41","author":"AD Sarma","year":"2012","unstructured":"Sarma, A.D., et al.: Distributed verification and hardness of distributed approximation. SIAM J. Comput. 41(5), 1235\u20131265 (2012)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"7_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00389ED1V01Y201111DCT008","volume":"2","author":"JL Welch","year":"2011","unstructured":"Welch, J.L., Walter, J.E.: Link reversal algorithms. Synth. Lect. Distrib. Comput. Theory 2(3), 1\u2013103 (2011)","journal-title":"Synth. Lect. Distrib. Comput. Theory"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-64348-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,27]],"date-time":"2020-11-27T09:42:25Z","timestamp":1606470145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-64348-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030643478","9783030643485"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-64348-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"25 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Stabilizing, Safety, and Security of Distributed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sss2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cse.msu.edu\/~sandeep\/SSS2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}