Safe termination detection in an asynchronous distributed system when processes may crash and recover
The termination detection problem involves detecting whether an ongoing distributed computation has ceased all its activities. We investigate the termination detection problem in an asynchronous distributed system under the crash-recovery model. It has been shown that the problem is impossible to so...
Saved in:
| Published in | Theoretical computer science Vol. 410; no. 6; pp. 614 - 628 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier B.V
28.02.2009
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0304-3975 1879-2294 |
| DOI | 10.1016/j.tcs.2008.10.011 |
Cover
| Abstract | The termination detection problem involves detecting whether an ongoing distributed computation has ceased all its activities. We investigate the termination detection problem in an asynchronous distributed system under the crash-recovery model. It has been shown that the problem is impossible to solve under the crash-recovery model in general. We identify two conditions under which the termination detection problem can be solved in a safe manner. We also propose algorithms to detect termination under the conditions identified. |
|---|---|
| AbstractList | The termination detection problem involves detecting whether an ongoing distributed computation has ceased all its activities. We investigate the termination detection problem in an asynchronous distributed system under the crash-recovery model. It has been shown that the problem is impossible to solve under the crash-recovery model in general. We identify two conditions under which the termination detection problem can be solved in a safe manner. We also propose algorithms to detect termination under the conditions identified. |
| Author | Phaneesh, Kuppahalli L. Mittal, Neeraj Freiling, Felix C. |
| Author_xml | – sequence: 1 givenname: Neeraj surname: Mittal fullname: Mittal, Neeraj email: neerajm@utdallas.edu organization: Department of Computer Science, The University of Texas at Dallas, Richardson, TX 75080, USA – sequence: 2 givenname: Kuppahalli L. surname: Phaneesh fullname: Phaneesh, Kuppahalli L. email: phaneesh.kuppahalli@microsoft.com organization: Department of Computer Science, The University of Texas at Dallas, Richardson, TX 75080, USA – sequence: 3 givenname: Felix C. surname: Freiling fullname: Freiling, Felix C. email: freiling@informatik.uni-mannheim.de organization: Department of Computer Science, University of Mannheim, D-68131, Mannheim, Germany |
| BookMark | eNp9kEtqwzAQQEVJoUnaA3SnC9gdWbZs01UJ_UGgi2YvFGlMFGopSEqKb1-l6brDwHzgDcNbkJnzDgm5Z1AyYOJhXyYdywqgy3MJjF2ROevavqiqvp6ROXCoC963zQ1ZxLiHHE0r5gQ_1YA0YRitU8l6Rw0m1L-ddVTljJPTu-CdP0ZqbEzBbo8JDY1TTDjS7x06egheY4wY6agmqoOKu8waGlD7E4Zbcj2or4h3f3VJNi_Pm9Vbsf54fV89rQtd1X0qULVomABTgxLQ9z0IDWB0u600E9gMyGs9oBG4NbzjjTEVguYDb7oGWsGXhF3O6uBjDDjIQ7CjCpNkIM-a5F5mTfKs6bzKmjLzeGEw_3WyGGTUFp1GY_PzSRpv_6F_ALSpdOw |
| Cites_doi | 10.1109/TC.2004.33 10.1145/226643.226647 10.1007/s004460050070 10.1109/TPDS.2007.1066 10.1016/0020-0190(80)90021-6 10.1109/71.363410 10.1007/s00446-007-0031-3 10.1145/359545.359563 10.1006/jpdc.1995.1025 10.1145/195613.195651 10.1109/71.879773 10.1109/2.84874 10.1145/357084.357087 10.1007/s00446-006-0013-x 10.1109/24.24583 10.1007/3-540-61769-8_8 10.1007/3-540-36108-1_11 10.1016/S0164-1212(98)10034-1 10.1007/11561927_9 10.1016/S0743-7315(03)00014-5 |
| ContentType | Journal Article |
| Copyright | 2008 Elsevier B.V. |
| Copyright_xml | – notice: 2008 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.tcs.2008.10.011 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISSN | 1879-2294 |
| EndPage | 628 |
| ExternalDocumentID | 10_1016_j_tcs_2008_10_011 S0304397508007603 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 29Q 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SCC SDF SDG SES SEW SPC SPCBC SSV SSW SSZ T5K TAE TN5 WH7 WUQ XJT YNT ZMT ZY4 ~G- AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c249t-ea7ed160d40a6099906c00dc7b2c16e5fe34cfed6ebd3835dd2e0c3f35850763 |
| IEDL.DBID | AIKHN |
| ISSN | 0304-3975 |
| IngestDate | Wed Oct 01 03:58:06 EDT 2025 Fri Feb 23 02:16:38 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Keywords | Crash-recovery failure model Safe algorithm Distributed system Termination detection Perfect failure detector |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c249t-ea7ed160d40a6099906c00dc7b2c16e5fe34cfed6ebd3835dd2e0c3f35850763 |
| OpenAccessLink | https://www.sciencedirect.com/science/article/pii/S0304397508007603 |
| PageCount | 15 |
| ParticipantIDs | crossref_primary_10_1016_j_tcs_2008_10_011 elsevier_sciencedirect_doi_10_1016_j_tcs_2008_10_011 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2009-02-28 |
| PublicationDateYYYYMMDD | 2009-02-28 |
| PublicationDate_xml | – month: 02 year: 2009 text: 2009-02-28 day: 28 |
| PublicationDecade | 2000 |
| PublicationTitle | Theoretical computer science |
| PublicationYear | 2009 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Aguilera, Chen, Toueg (b2) 2000; 13 L.-F. Wu, T.-H. Lai, Y.-C. Tseng, Consensus and termination detection in the presence of faulty processes, in: Proceedings of the International Conference on Parallel and Distributed Systems, ICPADS, Hsinchu, Taiwan, 1992 C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, A realistic look at failure detectors, in: Proceedings of the IEEE International Conference on Dependable Systems and Networks, DSN, Washington, DC, USA, 2002 Hélary, Murfin, Mostefaoui, Raynal, Tronel (b10) 2000; 11 Francez (b9) 1980; 2 Chandra, Toueg (b4) 1996; 43 Afek, Attiya, Fekete, Fischer, Lynch, Mansour, Wang, Zuck (b1) 1994; 41 G. Stupp, Stateless termination detection, in: Proceedings of the 16th Symposium on Distributed Computing, DISC, Toulouse, France, 2002 Dijkstra, Scholten (b7) 1980; 11 Larrea, Fernández, Arévalo (b14) 2004; 53 Lai, Wu (b12) 1995; 6 Khokhar, Hambrusch, Kocalar (b11) 2003; 63 Lamport (b13) 1978; 21 Tseng (b23) 1995; 25 Venkatesan (b24) 1989; 38 Livesey, Morrison, Munro (b15) 2007; 19 Tel (b22) 1999 DeMara, Tseng, Ejnioui (b6) 2007; 18 A. Basu, B. Charron-Bost, S. Toueg, Simulating reliable links with unreliable links in the presence of process crashes, in: Proceedings of the, Workshop on Distributed Algorithms, WDAG, Bologna, Italy, 1996 Matocha, Camp (b17) 1998; 43 F. Mattern, Virtual time and global states of distributed systems, in: Parallel and Distributed Algorithms: Proceedings of the Workshop on Distributed Algorithms, WDAG, 1989 Fidge (b8) 1991; 24 Mittal, Venkatesan, Peri (b20) 2007; 20 M. Majuntke, Termination detection in systems where processes may crash and recover, Master’s Thesis, RWTH Aachen University, 2006 N. Mittal, F.C. Freiling, S. Venkatesan, L.D. Penso, Efficient reduction for wait-free termination detection in a crash-prone distributed system, in: Proceedings of the 19th Symposium on Distributed Computing, DISC, 2005 10.1016/j.tcs.2008.10.011_b18 10.1016/j.tcs.2008.10.011_b19 Chandra (10.1016/j.tcs.2008.10.011_b4) 1996; 43 DeMara (10.1016/j.tcs.2008.10.011_b6) 2007; 18 Matocha (10.1016/j.tcs.2008.10.011_b17) 1998; 43 Khokhar (10.1016/j.tcs.2008.10.011_b11) 2003; 63 Dijkstra (10.1016/j.tcs.2008.10.011_b7) 1980; 11 Fidge (10.1016/j.tcs.2008.10.011_b8) 1991; 24 Livesey (10.1016/j.tcs.2008.10.011_b15) 2007; 19 10.1016/j.tcs.2008.10.011_b16 Larrea (10.1016/j.tcs.2008.10.011_b14) 2004; 53 10.1016/j.tcs.2008.10.011_b5 Venkatesan (10.1016/j.tcs.2008.10.011_b24) 1989; 38 10.1016/j.tcs.2008.10.011_b3 Aguilera (10.1016/j.tcs.2008.10.011_b2) 2000; 13 Tel (10.1016/j.tcs.2008.10.011_b22) 1999 Lai (10.1016/j.tcs.2008.10.011_b12) 1995; 6 Mittal (10.1016/j.tcs.2008.10.011_b20) 2007; 20 10.1016/j.tcs.2008.10.011_b21 10.1016/j.tcs.2008.10.011_b25 Afek (10.1016/j.tcs.2008.10.011_b1) 1994; 41 Francez (10.1016/j.tcs.2008.10.011_b9) 1980; 2 Tseng (10.1016/j.tcs.2008.10.011_b23) 1995; 25 Hélary (10.1016/j.tcs.2008.10.011_b10) 2000; 11 Lamport (10.1016/j.tcs.2008.10.011_b13) 1978; 21 |
| References_xml | – volume: 19 start-page: 419 year: 2007 end-page: 431 ident: b15 article-title: The Doomsday distributed termination detection protocol publication-title: Distributed Computing (DC) – volume: 25 start-page: 7 year: 1995 end-page: 15 ident: b23 article-title: Detecting termination by weight-throwing in a faulty distributed system publication-title: Journal of Parallel and Distributed Computing (JPDC) – reference: N. Mittal, F.C. Freiling, S. Venkatesan, L.D. Penso, Efficient reduction for wait-free termination detection in a crash-prone distributed system, in: Proceedings of the 19th Symposium on Distributed Computing, DISC, 2005 – volume: 20 start-page: 141 year: 2007 end-page: 162 ident: b20 article-title: A family of optimal termination detection algorithms publication-title: Distributed Computing (DC) – reference: F. Mattern, Virtual time and global states of distributed systems, in: Parallel and Distributed Algorithms: Proceedings of the Workshop on Distributed Algorithms, WDAG, 1989 – volume: 11 start-page: 897 year: 2000 end-page: 909 ident: b10 article-title: Computing global functions in asynchronous distributed systems with perfect failure detectors publication-title: IEEE Transactions on Parallel and Distributed Systems (TPDS) – volume: 24 start-page: 28 year: 1991 end-page: 33 ident: b8 article-title: Logical time in distributed computing systems publication-title: IEEE Computer – reference: M. Majuntke, Termination detection in systems where processes may crash and recover, Master’s Thesis, RWTH Aachen University, 2006 – reference: G. Stupp, Stateless termination detection, in: Proceedings of the 16th Symposium on Distributed Computing, DISC, Toulouse, France, 2002 – volume: 38 start-page: 103 year: 1989 end-page: 110 ident: b24 article-title: Reliable protocols for distributed termination detection publication-title: IEEE Transactions on Reliability – reference: A. Basu, B. Charron-Bost, S. Toueg, Simulating reliable links with unreliable links in the presence of process crashes, in: Proceedings of the, Workshop on Distributed Algorithms, WDAG, Bologna, Italy, 1996 – volume: 43 start-page: 225 year: 1996 end-page: 267 ident: b4 article-title: Unreliable failure detectors for reliable distributed systems publication-title: Journal of the ACM – volume: 43 start-page: 207 year: 1998 end-page: 221 ident: b17 article-title: A taxonomy of distributed termination detection algorithms publication-title: Journal of Systems and Software (JSS) – volume: 63 start-page: 312 year: 2003 end-page: 326 ident: b11 article-title: Termination detection in data-driven parallel computations/applications publication-title: Journal of Parallel and Distributed Computing (JPDC) – volume: 13 start-page: 99 year: 2000 end-page: 125 ident: b2 article-title: Failure detection and consensus in the crash recovery model publication-title: Distributed Computing (DC) – volume: 18 start-page: 1539 year: 2007 end-page: 1550 ident: b6 article-title: Tiered algorithm for distributed process quiescence and termination detection publication-title: IEEE Transactions on Parallel and Distributed Systems (TPDS) – volume: 21 start-page: 558 year: 1978 end-page: 565 ident: b13 article-title: Time, clocks, and the ordering of events in a distributed system publication-title: Communications of the ACM (CACM) – reference: L.-F. Wu, T.-H. Lai, Y.-C. Tseng, Consensus and termination detection in the presence of faulty processes, in: Proceedings of the International Conference on Parallel and Distributed Systems, ICPADS, Hsinchu, Taiwan, 1992 – volume: 41 start-page: 1267 year: 1994 end-page: 1297 ident: b1 article-title: Reliable communication over unreliable channels publication-title: Journal of the ACM – volume: 2 start-page: 42 year: 1980 end-page: 55 ident: b9 article-title: Distributed termination publication-title: ACM Transactions on Programming Languages and Systems (TOPLAS) – start-page: 539 year: 1999 end-page: 580 ident: b22 article-title: Distributed control algorithms for AI publication-title: MultiAgent Systems: A Modern Approach to Distributed Artificial Intelligence – volume: 53 start-page: 815 year: 2004 end-page: 828 ident: b14 article-title: On the implementation of unreliable failure detectors in partially synchronous systems publication-title: IEEE Transactions on Computers – volume: 6 start-page: 63 year: 1995 end-page: 78 ident: b12 article-title: An publication-title: IEEE Transactions on Parallel and Distributed Systems (TPDS) – reference: C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, A realistic look at failure detectors, in: Proceedings of the IEEE International Conference on Dependable Systems and Networks, DSN, Washington, DC, USA, 2002 – volume: 11 start-page: 1 year: 1980 end-page: 4 ident: b7 article-title: Termination detection for diffusing computations publication-title: Information Processing Letters (IPL) – ident: 10.1016/j.tcs.2008.10.011_b18 – start-page: 539 year: 1999 ident: 10.1016/j.tcs.2008.10.011_b22 article-title: Distributed control algorithms for AI – ident: 10.1016/j.tcs.2008.10.011_b16 – volume: 53 start-page: 815 issue: 7 year: 2004 ident: 10.1016/j.tcs.2008.10.011_b14 article-title: On the implementation of unreliable failure detectors in partially synchronous systems publication-title: IEEE Transactions on Computers doi: 10.1109/TC.2004.33 – volume: 43 start-page: 225 issue: 2 year: 1996 ident: 10.1016/j.tcs.2008.10.011_b4 article-title: Unreliable failure detectors for reliable distributed systems publication-title: Journal of the ACM doi: 10.1145/226643.226647 – volume: 13 start-page: 99 issue: 2 year: 2000 ident: 10.1016/j.tcs.2008.10.011_b2 article-title: Failure detection and consensus in the crash recovery model publication-title: Distributed Computing (DC) doi: 10.1007/s004460050070 – volume: 18 start-page: 1539 issue: 11 year: 2007 ident: 10.1016/j.tcs.2008.10.011_b6 article-title: Tiered algorithm for distributed process quiescence and termination detection publication-title: IEEE Transactions on Parallel and Distributed Systems (TPDS) doi: 10.1109/TPDS.2007.1066 – volume: 11 start-page: 1 issue: 1 year: 1980 ident: 10.1016/j.tcs.2008.10.011_b7 article-title: Termination detection for diffusing computations publication-title: Information Processing Letters (IPL) doi: 10.1016/0020-0190(80)90021-6 – volume: 6 start-page: 63 issue: 1 year: 1995 ident: 10.1016/j.tcs.2008.10.011_b12 article-title: An (N−1)-resilient algorithm for distributed termination detection publication-title: IEEE Transactions on Parallel and Distributed Systems (TPDS) doi: 10.1109/71.363410 – volume: 20 start-page: 141 issue: 2 year: 2007 ident: 10.1016/j.tcs.2008.10.011_b20 article-title: A family of optimal termination detection algorithms publication-title: Distributed Computing (DC) doi: 10.1007/s00446-007-0031-3 – volume: 21 start-page: 558 issue: 7 year: 1978 ident: 10.1016/j.tcs.2008.10.011_b13 article-title: Time, clocks, and the ordering of events in a distributed system publication-title: Communications of the ACM (CACM) doi: 10.1145/359545.359563 – volume: 25 start-page: 7 issue: 1 year: 1995 ident: 10.1016/j.tcs.2008.10.011_b23 article-title: Detecting termination by weight-throwing in a faulty distributed system publication-title: Journal of Parallel and Distributed Computing (JPDC) doi: 10.1006/jpdc.1995.1025 – volume: 41 start-page: 1267 issue: 6 year: 1994 ident: 10.1016/j.tcs.2008.10.011_b1 article-title: Reliable communication over unreliable channels publication-title: Journal of the ACM doi: 10.1145/195613.195651 – volume: 11 start-page: 897 issue: 9 year: 2000 ident: 10.1016/j.tcs.2008.10.011_b10 article-title: Computing global functions in asynchronous distributed systems with perfect failure detectors publication-title: IEEE Transactions on Parallel and Distributed Systems (TPDS) doi: 10.1109/71.879773 – ident: 10.1016/j.tcs.2008.10.011_b5 – volume: 24 start-page: 28 issue: 8 year: 1991 ident: 10.1016/j.tcs.2008.10.011_b8 article-title: Logical time in distributed computing systems publication-title: IEEE Computer doi: 10.1109/2.84874 – volume: 2 start-page: 42 issue: 1 year: 1980 ident: 10.1016/j.tcs.2008.10.011_b9 article-title: Distributed termination publication-title: ACM Transactions on Programming Languages and Systems (TOPLAS) doi: 10.1145/357084.357087 – volume: 19 start-page: 419 issue: 5–6 year: 2007 ident: 10.1016/j.tcs.2008.10.011_b15 article-title: The Doomsday distributed termination detection protocol publication-title: Distributed Computing (DC) doi: 10.1007/s00446-006-0013-x – ident: 10.1016/j.tcs.2008.10.011_b25 – volume: 38 start-page: 103 issue: 1 year: 1989 ident: 10.1016/j.tcs.2008.10.011_b24 article-title: Reliable protocols for distributed termination detection publication-title: IEEE Transactions on Reliability doi: 10.1109/24.24583 – ident: 10.1016/j.tcs.2008.10.011_b3 doi: 10.1007/3-540-61769-8_8 – ident: 10.1016/j.tcs.2008.10.011_b21 doi: 10.1007/3-540-36108-1_11 – volume: 43 start-page: 207 issue: 3 year: 1998 ident: 10.1016/j.tcs.2008.10.011_b17 article-title: A taxonomy of distributed termination detection algorithms publication-title: Journal of Systems and Software (JSS) doi: 10.1016/S0164-1212(98)10034-1 – ident: 10.1016/j.tcs.2008.10.011_b19 doi: 10.1007/11561927_9 – volume: 63 start-page: 312 issue: 3 year: 2003 ident: 10.1016/j.tcs.2008.10.011_b11 article-title: Termination detection in data-driven parallel computations/applications publication-title: Journal of Parallel and Distributed Computing (JPDC) doi: 10.1016/S0743-7315(03)00014-5 |
| SSID | ssj0000576 |
| Score | 1.8719606 |
| Snippet | The termination detection problem involves detecting whether an ongoing distributed computation has ceased all its activities. We investigate the termination... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 614 |
| SubjectTerms | Crash-recovery failure model Distributed system Perfect failure detector Safe algorithm Termination detection |
| Title | Safe termination detection in an asynchronous distributed system when processes may crash and recover |
| URI | https://dx.doi.org/10.1016/j.tcs.2008.10.011 |
| Volume | 410 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier ScienceDirect (LUT) customDbUrl: eissn: 1879-2294 dateEnd: 20211012 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: ACRLP dateStart: 19950109 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals [SCFCJ] customDbUrl: eissn: 1879-2294 dateEnd: 20211012 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AIKHN dateStart: 19950109 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect (Elsevier) customDbUrl: eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: .~1 dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect Free and Delayed Access Journal customDbUrl: eissn: 1879-2294 dateEnd: 20211105 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: IXB dateStart: 19750601 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1879-2294 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AKRWK dateStart: 19750601 isFulltext: true providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5qe9GDj6pYH2UPnoTYPDfJsRalVdpLK_QWkt0JrWAsTUR68bc7m018gF6EXBIYCF8238ww38wAXLrSduM4LLtxHIPYzzRC7vtGQtFxmgZhEgjVKDye8OGjez_35g0Y1L0wSlZZcb_m9JKtqye9Cs3earnsTVVRj7ypp2Ien6uJny3yP0HQhFZ_9DCcfBGy5-uSpSoCkEFd3CxlXoXItaJSabws63f39M3l3O3DbhUrsr5-nQNoYNaGvXoPA6t-yzbsjD9nr-aHgNM4RVaJXBTsTGJRCq4ytsxYTFe-yYQaiktZP5Nqcq5aeoWS6bHO7G2BGVvpDgLM2XO8YWId5wuylUxl0HT8j2B2dzsbDI1qmYIhKMMqDIx9lBY3pWvGXIWFJhemKYWf2MLi6KXouCJFyTGRlLV6UtpoCid1KJ8geJ1jaGYvGZ4AE1Zipaoj1Rapm7gyRDMkqgp8nycOhl4HrmoIo5UemRHVWrKniPDWqy_pEeHdAbcGOfrx3SOi9L_NTv9ndgbbuhqkWtLPoVmsX_GCgooi6cLW9bvVrY4O3Y3mNx_ICM3N |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF6KHtSDj6pYn3vwJMTmsdk0RymWqm0vrdBbyO7O0grG0kSkF3-7s9nEB-hFyGnJQPiyOzvDfPMNIZdM-SxN47IbJ3DQ-7lOzKPIERgda92JRUeaRuHhiPcf2f00nDZIt-6FMbTKyvdbn15662qlXaHZXszn7bEp6uFtGpqYJ-JG8XOdhX5kMrDr9y-eBwYktmBpSgD4el3aLElehcwtn9IwvDzv98vp24XT2yXbVaRIb-zH7JEGZE2yU09hoNWhbJKt4afyar5PYJxqoBXFxYBOFRQl3Sqj84ym-OSrTBpJXMz5qTK6uWbkFShqRZ3p2wwyurD9A5DT53RF5TLNZ2irqMmfcfMfkEnvdtLtO9UoBUdiflU4kEagPO4q5qbcBIUul66rZCR86XEINQRMalAchMKcNVTKB1cGOsBsAsENDsla9pLBEaHSE542_ai-1EwwFYMbo6PqRBEXAcRhi1zVECYLK5iR1EyypwTxtoMvcQnxbhFWg5z8-OsJOvS_zY7_Z3ZBNvqT4SAZ3I0eTsimrQuZ5vRTslYsX-EMw4tCnJfb5wOqPs2R |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Safe+termination+detection+in+an+asynchronous+distributed+system+when+processes+may+crash+and+recover&rft.jtitle=Theoretical+computer+science&rft.au=Mittal%2C+Neeraj&rft.au=Phaneesh%2C+Kuppahalli+L.&rft.au=Freiling%2C+Felix+C.&rft.date=2009-02-28&rft.issn=0304-3975&rft.volume=410&rft.issue=6-7&rft.spage=614&rft.epage=628&rft_id=info:doi/10.1016%2Fj.tcs.2008.10.011&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_tcs_2008_10_011 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |