{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:21Z","timestamp":1725493881071},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665311"},{"type":"electronic","value":"9783540481690"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48169-9_18","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T05:36:33Z","timestamp":1194240993000},"page":"256-268","source":"Crossref","is-referenced-by-count":10,"title":["Stabilization-Preserving Atomicity Refinement"],"prefix":"10.1007","author":[{"given":"Mikhail","family":"Nesterenko","sequence":"first","affiliation":[]},{"given":"Anish","family":"Arora","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/32.256850","volume":"19","author":"A. Arora","year":"1993","unstructured":"A. Arora and M. G. Gouda. Closure and convergence: a foundation of fault-tolerant computing. IEEE Transactions on Software Engineering, 19:1015\u20131027, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1109\/12.312126","volume":"43","author":"A. Arora","year":"1994","unstructured":"A. Arora and M. G. Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026\u20131038, 1994.","journal-title":"IEEE Transactions on Computers"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"B. Awerbuch, B. Patt-Shamir, and G. Varghese. Bounding the unbounded (distributed computing protocols). In Proceedings IEEE INFOCOM 94 The Conference on Computer Communications, pages 776\u2013783, 1994.","DOI":"10.1109\/INFCOM.1994.337661"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/12.24293","volume":"38","author":"G. M. Brown","year":"1989","unstructured":"G. M. Brown, M. G. Gouda, and C. L. Wu. Token systems that self-stabilize. IEEE Transactions on Computers, 38:845\u2013852, 1989.","journal-title":"IEEE Transactions on Computers"},{"key":"18_CR5","unstructured":"J. E. Burns. Self-stabilizing rings without demons. Technical Report GIT-ICS-87\/36, Georgia Tech, 1987."},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"K. M. Chandy","year":"1984","unstructured":"K. M. Chandy and J. Misra. The drinking philosopher\u2019s problem. ACM Transactions on Programming Languages and Systems, 6(4):632\u2013646, October 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR7","volume-title":"Parallel Program Design: a Foundation","author":"K. M. Chandy","year":"1988","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: a Foundation. Addison-Wesley, Reading, Mass., 1988."},{"key":"18_CR8","unstructured":"E. W. Dijkstra. Hierarchical Ordering of Sequential Processes, pages 72\u201393. Academic Press, 1972."},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E. W. Dijkstra","year":"1974","unstructured":"E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643\u2013644, 1974.","journal-title":"Communications of the Association of the Computing Machinery"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"S. Dolev, M. G. Gouda, and M. Schneider. B Memory requirements for silent stabilization. In PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, pages 27\u201334, 1996.","DOI":"10.1145\/248052.248055"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF02278851","volume":"7","author":"S. Dolev","year":"1993","unstructured":"S. Dolev, A. Israeli, and S. Moran. Self-stabilization of dynamic systems assuming only read\/write atomicity. Distributed Computing, 7:3\u201316, 1993.","journal-title":"Distributed Computing"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"M. G. Gouda and F. Haddix. The alternator. In Proceedings of the Fourth Workshop on Self-Stabilizing systems, 1999. To appear.","DOI":"10.1109\/SLFSTB.1999.777486"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/12.88464","volume":"40","author":"M. G. Gouda","year":"1991","unstructured":"M. G. Gouda and N. Multari. Stabilizing communication protocols. IEEE Transactions on Computers, 40:448\u2013458, 1991.","journal-title":"IEEE Transactions on Computers"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"R. R. Howell, M. Nesterenko, and M. Mizuno. Finite-state self-stabilizing protocols in message passing systems. In Proceedings of the Fourth Workshop on Self-Stabilizing systems, 1999. To appear.","DOI":"10.1109\/SLFSTB.1999.777488"},{"key":"18_CR15","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/5383.5385","volume":"33","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. The mutual exclusion problem: part ii-statement and solutions. Journal of the Association of the Computing Machinery, 33:327\u2013348, 1986.","journal-title":"Journal of the Association of the Computing Machinery"},{"key":"18_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-61769-8_20","volume-title":"WDAG96 Distributed Algorithms 10th International Workshop Proceedings","author":"M. Mizuno","year":"1996","unstructured":"M. Mizuno and H. Kakugawa. A timestamp based transformation of self-stabilizing programs for distributed computing environments. In WDAG96 Distributed Algorithms 10th International Workshop Proceedings, Springer-Verlag LNCS:1151, pages 304\u2013321, 1996."},{"issue":"6","key":"18_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0020-0190(98)00069-6","volume":"66","author":"M. Mizuno","year":"1998","unstructured":"M. Mizuno and M. Nesterenko. A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. Information Processing Letters, 66(6):285\u2013290, 1998.","journal-title":"Information Processing Letters"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"M. Mizuno, M. Nesterenko, and H. Kakugawa. Lock-based self-stabilizing distributed mutual exclusion algorithms. In Proceedings of the Sixteenth International Conference on Distributed Computing Systems, pages 708\u2013716, 1996.","DOI":"10.1109\/ICDCS.1996.508023"},{"key":"18_CR19","unstructured":"M. Nesterenko and A. Arora. Stabilization-preserving atomicity refinement (full version). http:\/\/www.mcs.kent.edu\/~mikhail\/refinement.ps ."}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48169-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:05:53Z","timestamp":1556946353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48169-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665311","9783540481690"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48169-9_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}