{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:48:14Z","timestamp":1742388494969,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1303025","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"84-90","source":"Crossref","is-referenced-by-count":2,"title":["A general model for detecting distributed termination in dynamic systems"],"prefix":"10.1109","author":[{"family":"Xinli Wang","sequence":"first","affiliation":[]},{"given":"J.","family":"Mayo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(86)90015-8"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1989.37933"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/69.134251"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/24.24583"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90053-1"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90125-1"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235257"},{"key":"14","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-10699-5_105","article-title":"Distributed termination with interval assertions","volume":"107","author":"francez","year":"1981","journal-title":"Proceedings of International Colloquium on Formalization of Programming Concepts Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90021-6"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357087"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/71.363410"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/IPPS.1992.222991"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/71.598280"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/275295.275360"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10034-1"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782776"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(89)90212-3"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)00129-4"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806729"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/357153.357156"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(90)90099-B"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/275295.275359"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(83)90092-3"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41850"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(83)90089-3"},{"journal-title":"Stable Predicate Detection in Dynamic Systems","year":"2003","author":"darling jr","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/800220.806678"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1025"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01843569"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(84)90071-1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(96)00068-3"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.1997.652624"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01303025.pdf?arnumber=1303025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:57:40Z","timestamp":1497585460000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1303025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1303025","relation":{},"subject":[]}}