{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:27:19Z","timestamp":1725474439965},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540499909"},{"type":"electronic","value":"9783540499916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11945529_10","type":"book-chapter","created":{"date-parts":[[2006,11,27]],"date-time":"2006-11-27T12:18:52Z","timestamp":1164629932000},"page":"126-141","source":"Crossref","is-referenced-by-count":4,"title":["Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover"],"prefix":"10.1007","author":[{"given":"Neeraj","family":"Mittal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuppahalli L.","family":"Phaneesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix C.","family":"Freiling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Tel, G.: Distributed Control for AI. Technical Report UU-CS-1998-17, Information and Computing Sciences, Utrecht University, The Netherlands (1998)","key":"10_CR1"},{"issue":"1","key":"10_CR2","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), 1\u20134 (1980)","journal-title":"Information Processing Letters (IPL)"},{"issue":"1","key":"10_CR3","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(1), 42\u201355 (1980)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"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)","key":"10_CR4","DOI":"10.1007\/3-540-36108-1_11"},{"issue":"3","key":"10_CR5","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(3), 312\u2013326 (2003)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"doi-asserted-by":"crossref","unstructured":"Mittal, N., Venkatesan, S., Peri, S.: Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. In: Proceedings of the 18th Symposium on Distributed Computing (DISC), Amsterdam, The Netherlands, pp. 290\u2013304 (2004)","key":"10_CR6","DOI":"10.1007\/978-3-540-30186-8_21"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0164-1212(98)10034-1","volume":"43","author":"J. Matocha","year":"1998","unstructured":"Matocha, J., Camp, T.: A Taxonomy of Distributed Termination Detection Algorithms. The Journal of Systems and Software\u00a043(3), 207\u2013221 (1998)","journal-title":"The Journal of Systems and Software"},{"issue":"1","key":"10_CR8","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(1), 103\u2013110 (1989)","journal-title":"IEEE Transactions on Reliability"},{"issue":"1","key":"10_CR9","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(1), 63\u201378 (1995)","journal-title":"IEEE Transactions on Parallel and Distributed Systems (TPDS)"},{"issue":"1","key":"10_CR10","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(1), 7\u201315 (1995)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"issue":"9","key":"10_CR11","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1109\/71.879773","volume":"11","author":"J.M. H\u00e9lary","year":"2000","unstructured":"H\u00e9lary, J.M., Murfin, M., Mostefaoui, A., Raynal, M., Tronel, F.: Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Transactions on Parallel and Distributed Systems (TPDS)\u00a011(9), 897\u2013909 (2000)","journal-title":"IEEE Transactions on Parallel and Distributed Systems (TPDS)"},{"doi-asserted-by":"crossref","unstructured":"Mittal, N., Freiling, F.C., Venkatesan, S., Penso, L.D.: Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. In: Proceedings of the 19th Symposium on Distributed Computing (DISC), pp. 93\u2013107 (2005)","key":"10_CR12","DOI":"10.1007\/11561927_9"},{"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":"10_CR13"},{"unstructured":"Majuntke, M.: Termination Detection in Systems Where Processes May Crash and Recover. Master\u2019s thesis, RWTH Aachen University (2006)","key":"10_CR14"},{"doi-asserted-by":"crossref","unstructured":"Mittal, N., Phaneesh, K.L., Freiling, F.C.: Safe Termination Detection in an Asynchronous Distributed System when Processes may Crash and Recover. Technical Report UTDCS-41-06, Department of Computer Science, The University of Texas at Dallas, Richardson, TX 75083, USA (2006)","key":"10_CR15","DOI":"10.1007\/11945529_10"},{"issue":"7","key":"10_CR16","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM (CACM)\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM (CACM)"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050070","volume":"13","author":"M.K. Aguilera","year":"2000","unstructured":"Aguilera, M.K., Chen, W., Toueg, S.: Failure Detection and Consensus in the Crash Recovery Model. Distributed Computing (DC)\u00a013(2), 99\u2013125 (2000)","journal-title":"Distributed Computing (DC)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-61769-8_8","volume-title":"Distributed Algorithms","author":"A. Basu","year":"1996","unstructured":"Basu, A., Charron-Bost, B., Toueg, S.: Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes. In: Babao\u011flu, \u00d6., Marzullo, K. (eds.) WDAG 1996. LNCS, vol.\u00a01151, pp. 105\u2013122. Springer, Heidelberg (1996)"},{"issue":"2","key":"10_CR19","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(2), 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"issue":"7","key":"10_CR20","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(7), 815\u2013828 (2004)","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.: A Realistic Look At Failure Detectors. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN), Washington, DC, USA, pp. 345\u2013353 (2002)","key":"10_CR21","DOI":"10.1109\/DSN.2002.1028919"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","first-page":"215","volume-title":"Distributed Algorithms","author":"F. Mattern","year":"1989","unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Bermond, J.-C., Raynal, M. (eds.) WDAG 1989. LNCS, vol.\u00a0392, pp. 215\u2013226. Springer, Heidelberg (1989)"},{"issue":"8","key":"10_CR23","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C.J. Fidge","year":"1991","unstructured":"Fidge, C.J.: Logical Time in Distributed Computing Systems. IEEE Computer\u00a024(8), 28\u201333 (1991)","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11945529_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T20:47:31Z","timestamp":1683665251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11945529_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540499909","9783540499916"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11945529_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}