{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:02:05Z","timestamp":1742385725084},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540298144"},{"type":"electronic","value":"9783540321231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11577327_6","type":"book-chapter","created":{"date-parts":[[2005,10,15]],"date-time":"2005-10-15T10:18:16Z","timestamp":1129371496000},"page":"81-95","source":"Crossref","is-referenced-by-count":6,"title":["Self-stabilization Preserving Compiler"],"prefix":"10.1007","author":[{"given":"Shlomi","family":"Dolev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinnon","family":"Haviv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"231","volume-title":"Specification and Validation Methods","author":"E. Borger","year":"1995","unstructured":"Borger, E., Gurevich, Y., Rosenzweig, D.: The bakery algorithm: Yet another specification and verification. In: Borger, E. (ed.) Specification and Validation Methods, pp. 231\u2013243. Oxford University Press, Oxford (1995)"},{"key":"6_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. Borger","year":"2003","unstructured":"Borger, E., Stark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"#cr-split#-6_CR3.1","doi-asserted-by":"crossref","unstructured":"Brukman, O., Dolev, S., Kolodner, E.: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. In: IEEE International Conference on Software-Science, Technology & Engineering (SwSTE 2003), Herzelia, pp. 20???29 (2003);","DOI":"10.1109\/SWSTE.2003.1245312"},{"key":"#cr-split#-6_CR3.2","unstructured":"Also in the Workshop on Adaptive Distributed Systems (WADiS 2003), Sorrento, Italy (2003)"},{"issue":"11","key":"6_CR4","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Commun. ACM\u00a017(11), 643\u2013644 (1974)","journal-title":"Commun. ACM"},{"key":"6_CR5","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":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-24714-2_5","volume-title":"Organic and Pervasive Computing \u2013 ARCS 2004","author":"S. Dolev","year":"2004","unstructured":"Dolev, S., Haviv, Y.A.: Self-Stabilizing Soft Error Resilient Microprocessor. In: M\u00fcller-Schloer, C., Ungerer, T., Bauer, B. (eds.) ARCS 2004. LNCS, vol.\u00a02981, pp. 31\u201346. Springer, Heidelberg (2004)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Dolev, S., Haviv, Y., Sagiv, M.: \u201cSelf-Stabilization Preserving Compiler\u201d Technical Report #2005-06 (2005), http:\/\/www.cs.bgu.ac.il\/~haviv\/PHD\/sspc-techreport.ps","DOI":"10.1007\/11577327_6"},{"issue":"1","key":"6_CR8","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. Distributed Computing\u00a07(1), 3\u201316 (1993)","journal-title":"Distributed Computing"},{"key":"#cr-split#-6_CR9.1","doi-asserted-by":"crossref","unstructured":"Dolev, S., Kat, R.: Self-Stabilizing Distributed File Systems. In: International Workshop on Self-Repairing and Self-Configurable Distributed Systems (RCDS 2002), pp. 384???389 (2002);","DOI":"10.1109\/RELDIS.2002.1180215"},{"key":"#cr-split#-6_CR9.2","unstructured":"To appear in Journal of High Speed Networks, special issue on self-stabilizing systems."},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1145\/1017460.1017463","volume":"51","author":"S. Dolev","year":"2004","unstructured":"Dolev, S., Welch, J.L.: Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults. Journal of the ACM\u00a051(5), 780\u2013799 (2004)","journal-title":"Journal of the ACM"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Dolev, S., Yagel, R.: Toward Self-Stabilizing Operating Systems. In: 2nd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS 2004), pp. 684\u2013688 (2004)","DOI":"10.1109\/DEXA.2004.1333553"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Fox, A., Patterson, D.: Self-Repairing Computers. Scientific American (June 2003)","DOI":"10.1038\/scientificamerican0603-54"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Gouda, M.G., Haddix, F.F.: The alternator. In: WSS, pp. 48\u201353 (1999)","DOI":"10.1109\/SLFSTB.1999.777486"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. In: IEEE Computer, pp. 41\u201350 (January 2003)","DOI":"10.1109\/MC.2003.1160055"},{"key":"6_CR15","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Boerger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"6_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0853-3","volume-title":"Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems","author":"C.N. Hadjicostis","year":"2002","unstructured":"Hadjicostis, C.N.: Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/3-540-45438-1_12","volume-title":"Self-Stabilizing Systems","author":"T. Herman","year":"2001","unstructured":"Herman, T., Pirwani, I.: A composite stabilizing data structure. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol.\u00a02194, pp. 167\u2013182. Springer, Heidelberg (2001)"},{"key":"6_CR18","unstructured":"Kistler, M., Shivakumar, P., Alvisi, L., Burger, D., Keckler, S.: Modeling the effect of technology trends on the soft error rate of combinational logic. In: ICDSN. LNCS, vol.\u00a072, pp. 216\u2013226 (2002)"},{"issue":"7","key":"6_CR19","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. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"6_CR20","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufman, San Francisco (1996)"},{"key":"6_CR21","volume-title":"The Austin Protocol Compiler","author":"T.M. McGuire","year":"2005","unstructured":"McGuire, T.M., Gouda, M.G.: The Austin Protocol Compiler. Springer, Heidelberg (2005)"},{"key":"6_CR22","volume-title":"Interconnections: Bridges, Routers, Switches, and Internetworking Protocols","author":"R. Perlman","year":"1999","unstructured":"Perlman, R.: Interconnections: Bridges, Routers, Switches, and Internetworking Protocols. Addison Wesley, Reading (1999)"},{"key":"6_CR23","volume-title":"Structured Computer Organization","author":"A. Tanenbaum","year":"1984","unstructured":"Tanenbaum, A.: Structured Computer Organization, 2nd edn. Prentice-Hall, Inc., Englewood Cliffs (1984)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Self-Stabilizing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11577327_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:40Z","timestamp":1605643180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11577327_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540298144","9783540321231"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11577327_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}