{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:18:16Z","timestamp":1742390296497},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233060"},{"type":"electronic","value":"9783540301868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30186-8_21","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T15:48:23Z","timestamp":1285170503000},"page":"290-304","source":"Crossref","is-referenced-by-count":10,"title":["Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies"],"prefix":"10.1007","author":[{"given":"Neeraj","family":"Mittal","sequence":"first","affiliation":[]},{"given":"Subbarayan","family":"Venkatesan","sequence":"additional","affiliation":[]},{"given":"Sathya","family":"Peri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W. Dijkstra","year":"1980","unstructured":"Dijkstra, E.W., Scholten, C.S.: Termination Detection for Diffusing Computations. Information Processing Letters (IPL)\u00a011, 1\u20134 (1980)","journal-title":"Information Processing Letters (IPL)"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"Francez, N.: Distributed Termination. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a02, 42\u201355 (1980)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0020-0190(83)90089-3","volume":"17","author":"S.P. Rana","year":"1983","unstructured":"Rana, S.P.: A Distributed Solution of the Distributed Termination Problem. Information Processing Letters (IPL)\u00a017, 43\u201346 (1983)","journal-title":"Information Processing Letters (IPL)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-16761-7_84","volume-title":"Automata, Languages and Programming","author":"N. Shavit","year":"1986","unstructured":"Shavit, N., Francez, N.: A New Approach to Detection of Locally Indicative Stability. In: Kott, L. (ed.) ICALP 1986. LNCS, vol.\u00a0226, pp. 344\u2013358. Springer, Heidelberg (1986)"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F. Mattern","year":"1987","unstructured":"Mattern, F.: Algorithms for Distributed Termination Detection. Distributed Computing (DC)\u00a02, 161\u2013175 (1987)","journal-title":"Distributed Computing (DC)"},{"key":"21_CR6","unstructured":"Dijkstra, E.W.: Shmuel Safra\u2019s Version of Termination Detection. EWD Manuscript 998 (1987), Available at http:\/\/www.cs.utexas.edu\/users\/EWD"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0020-0190(89)90212-3","volume":"30","author":"F. Mattern","year":"1989","unstructured":"Mattern, F.: Global Quiescence Detection based on Credit Distribution and Recovery. Information Processing Letters (IPL)\u00a030, 195\u2013200 (1989)","journal-title":"Information Processing Letters (IPL)"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0020-0190(89)90010-0","volume":"32","author":"S.T. Huang","year":"1989","unstructured":"Huang, S.T.: Termination Detection by using Distributed Snapshots. Information Processing Letters (IPL)\u00a032, 113\u2013119 (1989)","journal-title":"Information Processing Letters (IPL)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Huang, S.T.: Detecting Termination of Distributed Computations by External Agents. In: Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 79\u201384 (1989)","DOI":"10.1109\/ICDCS.1989.37933"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0743-7315(90)90099-B","volume":"8","author":"S. Chandrasekaran","year":"1990","unstructured":"Chandrasekaran, S., Venkatesan, S.: A Message-Optimal Algorithm for Distributed Termination Detection. Journal of Parallel and Distributed Computing (JPDC)\u00a08, 245\u2013252 (1990)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/151646.151647","volume":"15","author":"G. Tel","year":"1993","unstructured":"Tel, G., Mattern, F.: The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a015, 1\u201335 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Stupp, G.: Stateless Termination Detection. In: Proceedings of the 16th Symposium on Distributed Computing (DISC), Toulouse, France, pp. 163\u2013172 (2002)","DOI":"10.1007\/3-540-36108-1_11"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1016\/S0743-7315(03)00014-5","volume":"63","author":"A.A. Khokhar","year":"2003","unstructured":"Khokhar, A.A., Hambrusch, S.E., Kocalar, E.: Termination Detection in Data- Driven Parallel Computations\/Applications. Journal of Parallel and Distributed Computing (JPDC)\u00a063, 312\u2013326 (2003)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"key":"21_CR14","unstructured":"Mahapatra, N.R., Dutt, S.: An Efficient Delay-Optimal Distributed Termination Detection Algorithm. To Appear in Journal of Parallel and Distributed Computing, JPDC (2004)"},{"key":"21_CR15","unstructured":"Wang, X., Mayo, J.: A General Model for Detecting Termination in Dynamic Systems. In: Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, New Mexico (2004)"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0164-1212(98)10034-1","volume":"43","author":"J. Matocha","year":"1999","unstructured":"Matocha, J., Camp, T.: A Taxonomy of Distributed Termination Detection Algorithms. The Journal of Systems and Software\u00a043, 207\u2013221 (1999)","journal-title":"The Journal of Systems and Software"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-27860-3_5","volume-title":"Principles of Distributed Systems","author":"R. Atreya","year":"2004","unstructured":"Atreya, R., Mittal, N., Garg, V.K.: Detecting Locally Stable Predicates without Modifying Application Messages. In: Papatriantafilou, M., Hunel, P. (eds.) OPODIS 2003. LNCS, vol.\u00a03144, pp. 20\u201333. Springer, Heidelberg (2004)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"K.M. Chandy","year":"1986","unstructured":"Chandy, K.M., Misra, J.: How Processes Learn. Distributed Computing (DC)\u00a01, 40\u201352 (1986)","journal-title":"Distributed Computing (DC)"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Mittal, N., Venkatesan, S., Peri, S.: Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. Technical Report UTDCS-08-04, The University of Texas at Dallas (2004), Available at http:\/\/www.utdallas.edu\/~neerajm\/","DOI":"10.1007\/978-3-540-30186-8_21"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30186-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:46:15Z","timestamp":1605743175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30186-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233060","9783540301868"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30186-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}