{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T14:07:06Z","timestamp":1673100426034},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s00446-004-0111-6","type":"journal-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T14:23:32Z","timestamp":1100269412000},"page":"279-290","source":"Crossref","is-referenced-by-count":9,"title":["Unifying stabilization and termination in message-passing systems"],"prefix":"10.1007","volume":"17","author":[{"given":"Anish","family":"Arora","sequence":"first","affiliation":[]},{"given":"Mikhail","family":"Nesterenko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Afek Y, Brown GM: Self-stabilization over unreliable communication media. Distributed Computing 7, 27-34 (1993)","DOI":"10.1007\/BF02278853"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Arora A, Gouda MG: Distributed reset. IEEE Transactions on Computers 43, 1026-1038 (1994)","DOI":"10.1109\/12.312126"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Awerbuch B, Patt-Shamir B, Varghese G: Bounding the unbounded (distributed computing protocols). In: Proceedings IEEE INFOCOM 94 The Conference on Computer Communications, 1994, pp. 776-783","DOI":"10.1109\/INFCOM.1994.337661"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Bui A, Datta AK, Petit F, Villain V: State-optimal snap-stabilizing PIF in tree networks. In: Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), 1999, pp. 78-85. IEEE Computer Society","DOI":"10.1109\/SLFSTB.1999.777490"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Dijkstra EW, Scholten CS: Termination detection for diffusing computations. Information Processing Letters 11(1). 1-4 (1980)","DOI":"10.1016\/0020-0190(80)90021-6"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Dolev S: Self-Stabilization. MIT Press, 2000","DOI":"10.7551\/mitpress\/6156.001.0001"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Dolev S, Gouda MG, Schneider M: Memory requirements for silent stabilization. In: PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996, pp. 27-34","DOI":"10.1145\/248052.248055"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Gouda MG, Multari N: Stabilizing communication protocols. IEEE Transactions on Computers 40, 448-458 (1991)","DOI":"10.1109\/12.88464"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Howell RR, Nesterenko M, Mizuno M: Finite-state self-stabilizing protocols in message passing systems. Journal of Parallel and Distributed Computing 62(5), 792-817 (2002)","DOI":"10.1006\/jpdc.2001.1825"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Jayaram M, Varghese G: The complexity of crash failures. In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 179-188, Santa Barbara, California, 21-24 August 1997","DOI":"10.1145\/259380.259438"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Lamport L: Time, clocks and ordering of events in distributed systems. Communications of the ACM 21(7), 558-564 (1978)","DOI":"10.1145\/359545.359563"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Mizuno M, Nesterenko M: A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. Information Processing Letters 66(6), 285-290 (1998)","DOI":"10.1016\/S0020-0190(98)00069-6"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Nesterenko M, Arora A: Stabilization-preserving atomicity refinement. In: Proceedings of the 13th International Symposium on Distributed Computing, 1999, pp. 254-268","DOI":"10.1007\/3-540-48169-9_18"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Ricart G, Agrawala AK: An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM 24(1), 9-17 (1981)","DOI":"10.1145\/358527.358537"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Schneider FB: On Concurrent Programming. Springer, 1997","DOI":"10.1007\/978-1-4612-1830-2"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-004-0111-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-004-0111-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-004-0111-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T01:16:29Z","timestamp":1585962989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-004-0111-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["111"],"URL":"https:\/\/doi.org\/10.1007\/s00446-004-0111-6","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}