{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:01:45Z","timestamp":1725480105628},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404538"},{"type":"electronic","value":"9783540450320"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45032-7_8","type":"book-chapter","created":{"date-parts":[[2007,2,28]],"date-time":"2007-02-28T07:13:49Z","timestamp":1172646829000},"page":"102-112","source":"Crossref","is-referenced-by-count":15,"title":["Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Cantarell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajoy K.","family":"Datta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Petit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","first-page":"824","volume-title":"Euro-par\u201999 Parallel Processing","author":"G. Antonoiu","year":"1999","unstructured":"G. Antonoiu and P.K. Srimani. Mutual exclusion between neighboring nodes in an arbitrary system graph tree that stabilizes using read\/write atomicity. In Euro-par\u201999 Parallel Processing, Proceedings, Springer-Verlag LNCS:1685, pages 824\u2013830, 1999. 103"},{"key":"8_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. 111","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-40026-5_15","volume-title":"Proceedings of the 14th International Conference on Distributed Computing (DISC 2000)","author":"J. Beauquier","year":"2000","unstructured":"J. Beauquier, A.K. Datta, M. Gradinariu, and F. Magniette. Self-stabilizing local mutual exclusion and daemon refinement. In Proceedings of the 14th International Conference on Distributed Computing (DISC 2000), Springer-Verlag LNCS:1914, pages 223\u2013237, 2000. 103, 111"},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45438-1_2","volume-title":"Proceedings of the Fifth Workshop on Self-Stabilizing Systems","author":"J. Beauquier","year":"2001","unstructured":"J. Beauquier, M. Gradinariu, and C. Johnen. Cross-over composition \u2014 enforcement of fairness under unfair adversary. In Proceedings of the Fifth Workshop on Self-Stabilizing Systems, Springer-Verlag LNCS:2194, pages 19\u201334, 2001."},{"issue":"4","key":"8_CR5","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 philosophers problem. ACM Transactions on Programming Languages and Systems, 6(4):632\u2013646, 1984. 102, 106","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"10","key":"8_CR6","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"P. J. Courtois, F. Heymans, and D. L. Parnas. Concurrent control with readers and writers. Communications of the Association of the Computing Machinery, 14(10):667\u2013668, 1971. 102","journal-title":"Communications of the Association of the Computing Machinery"},{"issue":"9","key":"8_CR7","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E.W. Dijkstra","year":"1965","unstructured":"E.W. Dijkstra. Solution to a problem in concurrent programming control. Communications of the Association of the Computing Machinery, 8(9):569, 1965. 102","journal-title":"Communications of the Association of the Computing Machinery"},{"key":"8_CR8","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. 102","journal-title":"Communications of the Association of the Computing Machinery"},{"key":"8_CR9","unstructured":"E.W. Dijkstra. Two starvation-free solutions of a general exclusion problem. Technical Report EWD 625, Plataanstraat 5, 5671, AL Nuenen, The Netherlands, 1978. 102"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"S. Dolev, M. Gouda, and M. Schneider. Memory requirements for silent stabilization. In PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, pages 27\u201334, 1996. 103","DOI":"10.1145\/248052.248055"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"S. Dolev and T. Herman. Parallel composition of stabilizing algorithms. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems, IEEE Computer Society, pages 25\u201332. IEEE Computer Society Press, 1999.","DOI":"10.1109\/SLFSTB.1999.777483"},{"key":"8_CR12","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-stabilizing of dynamic systems assuming only read\/write atomicity. Distributed Computing, 7:3\u201316, 1993. 103, 104","journal-title":"Distributed Computing"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"M. Gouda and F. Haddix. The alternator. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems, IEEE Computer Society, pages 48\u201353, 1999. 103, 111","DOI":"10.1109\/SLFSTB.1999.777486"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1109\/32.92911","volume":"17","author":"M. G. Gouda","year":"1991","unstructured":"M. G. Gouda and T. Herman. Adaptive programming. IEEE Transactions on Software Engineering, 17:911\u2013921, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Y.-J. Joung. Asynchronous group mutual exclusion (extended abstract). In Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing (PODC), pages 51\u201360, June 28\u2013July 2 1998. 102","DOI":"10.1145\/277697.277706"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"H. Kakugawa and M. Yamashita. Self-stabilizing local mutual exclusion on networks in which process identifiers are not distinct. In Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS2002), pages 202\u2013211, 2002. 103, 111","DOI":"10.1109\/RELDIS.2002.1180189"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"P. Keane and M. Moir. A general resource allocation synchronization problem. In Proceedings of the 23th IEEE International Conference on Distributed Computing Systems (ICDCS), pages 557\u2013566. ACM Press, 2001. 102","DOI":"10.1109\/ICDSC.2001.918986"},{"issue":"8","key":"8_CR18","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport. A new solution of Dijkstra\u2019s concurrent programming problem. Communications of the ACM, 17(8):453\u2013455, 1974. 102","journal-title":"Communications of the ACM"},{"issue":"7","key":"8_CR19","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, 1978. 103, 106","journal-title":"Communications of the ACM"},{"key":"8_CR20","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. 103"},{"issue":"6","key":"8_CR21","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 Nesterenko. A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. Information Processing Letters, 66(6):285\u2013290, 1998. 103, 107, 108, 111","journal-title":"Information Processing Letters"},{"issue":"5","key":"8_CR22","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1006\/jpdc.2001.1828","volume":"62","author":"M. Nesterenko","year":"2002","unstructured":"M. Nesterenko and A. Arora. Stabilization-preserving atomicity refinement. Journal of Parallel and Distributed Computing, 62(5):766\u2013791, 2002. 103, 111","journal-title":"Journal of Parallel and Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Self-Stabilizing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45032-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T21:57:53Z","timestamp":1550267873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45032-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404538","9783540450320"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45032-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}