{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:21:56Z","timestamp":1742394116146},"reference-count":30,"publisher":"Elsevier BV","issue":"14","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Computing"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1016\/s0167-8191(96)00068-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:18:22Z","timestamp":1027639102000},"page":"2025-2045","source":"Crossref","is-referenced-by-count":12,"title":["Distributed termination detection for dynamic systems"],"prefix":"10.1016","volume":"22","author":[{"given":"D.M.","family":"Dhamdhere","sequence":"first","affiliation":[]},{"given":"Sridhar R.","family":"Iyer","sequence":"additional","affiliation":[]},{"given":"E. Kishore","family":"Kumar Reddy","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0167-8191(96)00068-3_bib1","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1145\/5956.6000","article-title":"Correctness proofs of distributed termination algorithms","volume":"8","author":"Apt","year":"1986","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"3","key":"10.1016\/S0167-8191(96)00068-3_bib2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0743-7315(90)90099-B","article-title":"A message-optimal algorithm for distributed termination detection","volume":"8","author":"Chandrasekaran","year":"1990","journal-title":"J. Parallel Distributed Computing"},{"key":"10.1016\/S0167-8191(96)00068-3_bib3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","article-title":"Distributed snapshots: determining global states of distributed systems","volume":"3","author":"Chandy","year":"1985","journal-title":"ACM Trans. Computer Systems"},{"key":"10.1016\/S0167-8191(96)00068-3_bib4","author":"Chandy","year":"1988"},{"key":"10.1016\/S0167-8191(96)00068-3_bib5","series-title":"Proc. 1st Ann. ACM Symp. on Principles of Distributed Computing","first-page":"29","article-title":"Dynamic systems and their distributed termination","author":"Cohen","year":"1982"},{"key":"10.1016\/S0167-8191(96)00068-3_bib6","article-title":"Distributed termination detection for dynamic systems","author":"Dhamdhere","year":"1992"},{"issue":"1","key":"10.1016\/S0167-8191(96)00068-3_bib7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","article-title":"Termination detection for distributed computations","volume":"11","author":"Dijkstra","year":"1980","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib8","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","article-title":"Derivation of a termination algorithm for distributed computations","volume":"16","author":"Dijkstra","year":"1983","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib9","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/0743-7315(88)90033-0","article-title":"A termination detection protocol and its formal verification","volume":"5","author":"Eriksen","year":"1988","journal-title":"J. Parallel Distributed Computing"},{"issue":"1","key":"10.1016\/S0167-8191(96)00068-3_bib10","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/357084.357087","article-title":"Distributed termination","volume":"2","author":"Francez","year":"1980","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"3","key":"10.1016\/S0167-8191(96)00068-3_bib11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TSE.1982.235257","article-title":"Achieving distributed termination without freezing","volume":"8","author":"Francez","year":"1982","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0167-8191(96)00068-3_bib12","article-title":"A fully distributed termination detection algorithm in an arbitrary network","author":"Haldar","year":"1989"},{"issue":"7","key":"10.1016\/S0167-8191(96)00068-3_bib13","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1109\/32.29482","article-title":"Time-stamp based orphan elimination","volume":"15","author":"Herlihy","year":"1989","journal-title":"IEEE Trans. Software Engineering"},{"issue":"1","key":"10.1016\/S0167-8191(96)00068-3_bib14","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0020-0190(88)90125-1","article-title":"A fully distributed termination detection scheme","volume":"29","author":"Huang","year":"1988","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0020-0190(89)90010-0","article-title":"Termination detection by using distributed snapshots","volume":"32","author":"Huang","year":"1989","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib16","doi-asserted-by":"crossref","unstructured":"D. Kumar, A class of termination detection algorithms for distributed computations, in: N. Maheshwari, ed., Lecture Notes in Computer Science, Vol. 206 (Springer, Berlin) 73\u2013100.","DOI":"10.1007\/3-540-16042-6_4"},{"key":"10.1016\/S0167-8191(96)00068-3_bib17","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/0743-7315(86)90015-8","article-title":"Termination detection for dynamic distributed systems with non-first-in-first-out communication","volume":"3","author":"Lai","year":"1986","journal-title":"J. Parallel Distributed computing"},{"issue":"7","key":"10.1016\/S0167-8191(96)00068-3_bib18","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, clocks and the ordering of events in a distributed system","volume":"21","author":"Lamport","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/S0167-8191(96)00068-3_bib19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0020-0190(86)90043-8","article-title":"A fully distributed spanning tree algorithm","volume":"23","author":"Lavellee","year":"1986","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01782776","article-title":"Algorithms for distributed termination detection","volume":"2","author":"Mattern","year":"1987","journal-title":"Distributed Computing"},{"key":"10.1016\/S0167-8191(96)00068-3_bib21","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0020-0190(89)90124-5","article-title":"An efficient distributed termination test","volume":"31","author":"Mattern","year":"1989","journal-title":"Inform. Process. Lett."},{"issue":"1","key":"10.1016\/S0167-8191(96)00068-3_bib22","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/357153.357156","article-title":"Termination detection of diffusing computations in communicating sequential processes","volume":"4","author":"Misra","year":"1982","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"3","key":"10.1016\/S0167-8191(96)00068-3_bib23","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","article-title":"Proving liveness properties of concurrent programs","volume":"4","author":"Owicki","year":"1982","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"1","key":"10.1016\/S0167-8191(96)00068-3_bib24","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0020-0190(83)90089-3","article-title":"A distributed solution to the distributed termination problem","volume":"17","author":"Rana","year":"1983","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib25","author":"Raynal","year":"1988"},{"key":"10.1016\/S0167-8191(96)00068-3_bib26","doi-asserted-by":"crossref","unstructured":"J.L. Richier, Distributed termination in CSP \u2014 Symmetric solutions with minimal storage, in: K. Mehlhorn, ed., Lecture Notes in Computer Science, Vol. 182 (Springer, Berlin) 267\u2013278.","DOI":"10.1007\/BFb0024015"},{"key":"10.1016\/S0167-8191(96)00068-3_bib27","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0020-0190(90)90126-I","article-title":"Distributed termination detection with counters","volume":"34","author":"Ronn","year":"1990","journal-title":"Inform. Process. Lett."},{"issue":"4","key":"10.1016\/S0167-8191(96)00068-3_bib28","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/3872.3873","article-title":"File-servers for network-based distributed systems","volume":"16","author":"Svobodova","year":"1984","journal-title":"ACM Comput. Surveys"},{"issue":"1","key":"10.1016\/S0167-8191(96)00068-3_bib29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0020-0190(84)90071-1","article-title":"Termination solution for distributed computing","volume":"18","author":"Topor","year":"1984","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-8191(96)00068-3_bib30","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0020-0190(94)90059-0","article-title":"An assertional proof of Rana's algorithm","volume":"49","author":"van Wezel","year":"1994","journal-title":"Inform. Process. Lett."}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819196000683?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819196000683?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T07:20:45Z","timestamp":1555572045000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167819196000683"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":30,"journal-issue":{"issue":"14","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["S0167819196000683"],"URL":"https:\/\/doi.org\/10.1016\/s0167-8191(96)00068-3","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}