{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T22:10:07Z","timestamp":1736028607168,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291633"},{"type":"electronic","value":"9783540320753"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561927_9","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T14:14:47Z","timestamp":1128953687000},"page":"93-107","source":"Crossref","is-referenced-by-count":12,"title":["Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System"],"prefix":"10.1007","author":[{"given":"Neeraj","family":"Mittal","sequence":"first","affiliation":[]},{"given":"Felix C.","family":"Freiling","sequence":"additional","affiliation":[]},{"given":"S.","family":"Venkatesan","sequence":"additional","affiliation":[]},{"given":"Lucia Draque","family":"Penso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_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":"9_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":"9_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":"9_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":"9_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":"9_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":"9_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":"9_CR8","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":"9_CR9","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":"9_CR10","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":"9_CR11","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":"9_CR12","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":"9_CR13","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":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-30186-8_21","volume-title":"Distributed Computing","author":"N. Mittal","year":"2004","unstructured":"Mittal, N., Venkatesan, S., Peri, S.: Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol.\u00a03274, pp. 290\u2013304. Springer, Heidelberg (2004)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/24.24583","volume":"38","author":"S. Venkatesan","year":"1989","unstructured":"Venkatesan, S.: Reliable Protocols for Distributed Termination Detection. IEEE Transactions on Reliability\u00a038, 103\u2013110 (1989)","journal-title":"IEEE Transactions on Reliability"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/71.363410","volume":"6","author":"T.H. Lai","year":"1995","unstructured":"Lai, T.H., Wu, L.F.: An (N\u2009\u2212\u20091)-Resilient Algorithm for Distributed Termination Detection. IEEE Transactions on Parallel and Distributed Systems (TPDS)\u00a06, 63\u201378 (1995)","journal-title":"IEEE Transactions on Parallel and Distributed Systems (TPDS)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1006\/jpdc.1995.1025","volume":"25","author":"Y.C. Tseng","year":"1995","unstructured":"Tseng, Y.C.: Detecting Termination by Weight-Throwing in a Faulty Distributed System. Journal of Parallel and Distributed Computing (JPDC)\u00a025, 7\u201315 (1995)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"key":"9_CR18","unstructured":"Shah, A., Toueg, S.: Distributed Snapshots in spite of Failures. Technical Report TR84-624, Department of Computer Science, Cornell University, Ithaca, NY (1984) (Revised February 1985)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Transactions on Computer Systems\u00a03, 63\u201375 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-45438-1_7","volume-title":"Self-Stabilizing Systems","author":"F.C. G\u00e4rtner","year":"2001","unstructured":"G\u00e4rtner, F.C., Pleisch, S. (Im)Possibilities of Predicate Detection in Crash-Affected Systems. In: Datta, A.K., Herman, T. (eds.) WSS 2001. LNCS, vol.\u00a02194, pp. 98\u2013113. Springer, Heidelberg (2001)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Mittal, N., Freiling, F.C., Venkatesan, S., Penso, L.D.: Efficient Reductions for Wait-Free Termination Detection in Crash-Prone Systems. Technical Report AIB-2005-12, Department of Computer Science, Rheinisch-Westf\u00e4lische Technische Hochschule (RWTH), Aachen, Germany (2005)","DOI":"10.1007\/11561927_9"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1109\/12.312126","volume":"43","author":"A. Arora","year":"1994","unstructured":"Arora, A., Gouda, M.G.: Distributed Reset. IEEE Transactions on Computers\u00a043, 1026\u20131038 (1994)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR23","unstructured":"Wu, L.F., Lai, T.H., Tseng, Y.C.: Consensus and Termination Detection in the Presence of Faulty Processes. In: Proceedings of the International Conference on Parallel and Distributed Systems (ICPADS), Hsinchu, Taiwan, pp. 267\u2013274 (1992)"},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM\u00a043, 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"key":"9_CR25","unstructured":"Peri, S., Mittal, N.: On Termination Detection in an Asynchronous Distributed System. In: Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems (PDCS), California, pp. 209\u2013215 (2004)"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1109\/TC.2004.33","volume":"53","author":"M. Larrea","year":"2004","unstructured":"Larrea, M., Fern\u00e1ndez, A., Ar\u00e9valo, S.: On the Implementation of Unreliable Failure Detectors in Partially Synchronous Systems. IEEE Transactions on Computers\u00a053, 815\u2013828 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/42282.42283","volume":"35","author":"C. Dwork","year":"1988","unstructured":"Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the Presence of Partial Synchrony. Journal of the ACM\u00a035, 288\u2013323 (1988)","journal-title":"Journal of the ACM"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Hadzilacos, V., Kouznetsov, P., Toueg, S.: The Weakest Failure Detector to Solve Certain Fundamental Problems in Distributed Computing. In: Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), St. Johns, Newfoundland, Canada (2004)","DOI":"10.1145\/1011767.1011818"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561927_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T21:44:10Z","timestamp":1736027050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561927_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291633","9783540320753"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11561927_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}