{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:19:20Z","timestamp":1737436760267,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744658"},{"type":"electronic","value":"9783540744665"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74466-5_66","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T14:54:32Z","timestamp":1188226472000},"page":"629-638","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On Detecting Termination in the Crash-Recovery Model"],"prefix":"10.1007","author":[{"given":"Felix C.","family":"Freiling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Majuntke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj","family":"Mittal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"66_CR1","volume-title":"Distributed Control for AI","author":"G. Tel","year":"1998","unstructured":"Tel, G.: Distributed Control for AI. Technical Report UU-CS-1998-17, Information and Computing Sciences, Utrecht University, The Netherlands (1998)"},{"issue":"1","key":"66_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":"66_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)"},{"issue":"3","key":"66_CR4","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(3), 161\u2013175 (1987)","journal-title":"Distributed Computing (DC)"},{"issue":"4","key":"66_CR5","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(4), 195\u2013200 (1989)","journal-title":"Information Processing Letters (IPL)"},{"key":"66_CR6","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 (October 2004)","DOI":"10.1007\/978-3-540-30186-8_21"},{"issue":"1","key":"66_CR7","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":"66_CR8","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":"66_CR9","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)"},{"key":"66_CR10","doi-asserted-by":"crossref","unstructured":"H\u00e9lary, J.M., Murfin, M., Mostefaoui, A., Raynal, M., Tronel, F.: Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. In: IEEE Transactions on Parallel and Distributed Systems (TPDS), September 2000, vol.\u00a011(9), pp. 897\u2013909 (2000)","DOI":"10.1109\/71.879773"},{"key":"66_CR11","doi-asserted-by":"crossref","unstructured":"G\u00e4rtner, F.C., Pleisch, S. (Im)Possibilities of Predicate Detection in Crash-Affected Systems. In: Proceedings of the 5th Workshop on Self-Stabilizing Systems (WSS),, Lisbon, Portugal, October 2001, pp. 98\u2013113 (2001)","DOI":"10.1007\/3-540-45438-1_7"},{"key":"66_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/11561927_9","volume-title":"Distributed Computing","author":"N. Mittal","year":"2005","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: Fraigniaud, P. (ed.) DISC 2005. LNCS, vol.\u00a03724, pp. 93\u2013107. Springer, Heidelberg (2005)"},{"issue":"2","key":"66_CR13","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)"},{"issue":"4","key":"66_CR14","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jpdc.2004.10.008","volume":"65","author":"R. Boichat","year":"2005","unstructured":"Boichat, R., Guerraoui, R.: Reliable and Total Order Broadcast in the Crash-Recovery Model. Journal of Parallel and Distributed Computing (JPDC)\u00a065(4), 397\u2013413 (2005)","journal-title":"Journal of Parallel and Distributed Computing (JPDC)"},{"issue":"5","key":"66_CR15","doi-asserted-by":"publisher","first-page":"1206","DOI":"10.1109\/TKDE.2003.1232273","volume":"15","author":"L. Rodrigues","year":"2003","unstructured":"Rodrigues, L., Raynal, M.: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and its Use in Quorum-Based Replication. IEEE Transactions on Knowledge and Data Engineering\u00a015(5), 1206\u20131217 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"66_CR16","doi-asserted-by":"crossref","unstructured":"Freiling, F., Majuntke, M., Mittal, N.: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. Technical report, TR-2006-008, University of Mannheim (2006)","DOI":"10.1007\/978-3-540-49823-0_43"},{"key":"66_CR17","doi-asserted-by":"crossref","unstructured":"Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.: A Realistic Look At Failure Detectors. In: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN), Washington, DC, USA, pp. 345\u2013353 (2002)","DOI":"10.1109\/DSN.2002.1028919"},{"issue":"2","key":"66_CR18","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"},{"key":"66_CR19","unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Parallel and Distributed Algorithms: Proceedings of the Workshop on Distributed Algorithms (WDAG), pp. 215\u2013226 (1989)"},{"issue":"8","key":"66_CR20","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"},{"key":"66_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/11945529_10","volume-title":"Principles of Distributed Systems","author":"N. Mittal","year":"2006","unstructured":"Mittal, N., Phaneesh, K.L., Freiling, F.C.: Safe Termination Detection in an Asynchronous Distributed System when Processes may Crash and Recover. In: Shvartsman, A.A. (ed.) OPODIS 2006. LNCS, vol.\u00a04305, pp. 126\u2013141. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2007 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74466-5_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T17:37:57Z","timestamp":1737394677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74466-5_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540744658","9783540744665"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74466-5_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}