{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T10:51:16Z","timestamp":1648551076896},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s00446-010-0124-2","type":"journal-article","created":{"date-parts":[[2010,12,30]],"date-time":"2010-12-30T23:19:23Z","timestamp":1293751163000},"page":"359-372","source":"Crossref","is-referenced-by-count":1,"title":["Efficient online algorithm for identifying useless states in distributed systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Lung-Pin","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Der-Johng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Chu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,1,1]]},"reference":[{"issue":"1","key":"124_CR1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy K.M., Lamport L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"11","key":"124_CR2","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1109\/TSE.2002.1049405","volume":"28","author":"L.B. Chen","year":"2002","unstructured":"Chen L.B., Wu I.C.: An efficient distributed online algorithm to detect strong conjunctive predicates. IEEE Trans. Softw. Eng. 28(11), 1077\u20131084 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"7","key":"124_CR3","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1109\/71.508247","volume":"7","author":"H.K. Chiou","year":"1996","unstructured":"Chiou H.K., Korfhage W.: Enhancing distributed event predicate detection algorithms. IEEE Trans. Parallel Distrib. Syst. 7(7), 673\u2013676 (1996)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"124_CR4","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent detection of global predicates. Sigplan Notices, pp. 167\u2013174 (1991)","DOI":"10.1145\/127695.122774"},{"issue":"3","key":"124_CR5","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1109\/71.277788","volume":"5","author":"V.K. Garg","year":"1994","unstructured":"Garg V.K., Waldecker B.: Detection of weak unstable predicates in distributed programs. IEEE Trans. Parallel Distrib. Syst. 5(3), 299\u2013307 (1994)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"12","key":"124_CR6","doi-asserted-by":"crossref","first-page":"1323","DOI":"10.1109\/71.553309","volume":"7","author":"V.K. Garg","year":"1996","unstructured":"Garg V.K., Waldecker B.: Detection of strong unstable predicates in distributed programs. IEEE Trans. Parallel Distrib. Syst. 7(12), 1323\u20131333 (1996)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"124_CR7","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s004460050003","volume":"13","author":"J.M. Helary","year":"2000","unstructured":"Helary J.M., Mostefaoui A., Netzer R.H.B., Raynal M.: Communication-based prevention of useless checkpoints in distributed computations. Distrib. Comput. 13(1), 29\u201343 (2000)","journal-title":"Distrib. Comput."},{"issue":"8","key":"124_CR8","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1109\/32.707701","volume":"24","author":"M. Hurfin","year":"1998","unstructured":"Hurfin M., Mizuno M., Raynal M., Singhal M.: Efficient distributed detection of conjunctions of local predicates. IEEE Trans. Softw. Eng. 24(8), 664\u2013677 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"124_CR9","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s00446-003-0105-9","volume":"17","author":"A.D. Kshemkalyani","year":"2004","unstructured":"Kshemkalyani A.D.: The power of logical clock abstractions. Distrib. Comput. 17(2), 131\u2013150 (2004)","journal-title":"Distrib. Comput."},{"issue":"8","key":"124_CR10","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1109\/TPDS.2003.1225059","volume":"14","author":"A.D. Kshemkalyani","year":"2003","unstructured":"Kshemkalyani A.D.: A fine-grained modality classification for global predicates. IEEE Trans. Parallel Distrib. Syst. 14(8), 807\u2013816 (2003)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"7","key":"124_CR11","doi-asserted-by":"crossref","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. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"124_CR12","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, pp. 215\u2013226. Elsevier, New York (1989)"},{"issue":"3","key":"124_CR13","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s00446-004-0117-0","volume":"17","author":"N. Mittal","year":"2005","unstructured":"Mittal N., Garg V.K.: Techniques and applications of computation slicing. Distrib. Comput. 17(3), 251\u2013277 (2005)","journal-title":"Distrib. Comput."},{"issue":"6","key":"124_CR14","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/71.595580","volume":"8","author":"D. Manivannan","year":"1997","unstructured":"Manivannan D., Netzer R.H.B., Singhal M.: Finding consistent global checkpoints in a distributed computation. IEEE Trans. Parallel Distrib. Syst. 8(6), 165\u2013169 (1997)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"2","key":"124_CR15","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/71.342127","volume":"6","author":"H.B. Netzer","year":"1995","unstructured":"Netzer H.B., Xu J.: Necessary and sufficient conditions for consistent global snapshots. IEEE Trans. Parallel Distrib. Syst. 6(2), 165\u2013169 (1995)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"3","key":"124_CR16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwarz","year":"1994","unstructured":"Schwarz R., Mattern F.: Detecting causal relationships in distributed computations: In search of the holy grail. Distrib. Comput. 7(3), 149\u2013174 (1994)","journal-title":"Distrib. Comput."},{"issue":"4","key":"124_CR17","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1109\/12.588059","volume":"46","author":"Y.M. Wang","year":"1997","unstructured":"Wang Y.M.: Consistent global checkpoints that contain a given set of local checkpoints. IEEE Trans. Comput. 46(4), 456\u2013468 (1997)","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"124_CR18","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1109\/71.382324","volume":"6","author":"Y.M. Wang","year":"1995","unstructured":"Wang Y.M., Chung P.Y., Lin I.J., Fuchs W.K.: Checkpoint space reclamation for uncoordinated checkpointing in message-passing systems. IEEE Trans. Parallel Distrib. Syst. 6(5), 546\u2013554 (1995)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"4","key":"124_CR19","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0020-0190(94)00038-7","volume":"50","author":"Y.M. Wang","year":"1994","unstructured":"Wang Y.M., Lowry A., Fuchs W.K.: Consistent global checkpoints based on direct dependency tracking. Inf. Process. Lett. 50(4), 223\u2013230 (1994)","journal-title":"Inf. Process. Lett."},{"issue":"4","key":"124_CR20","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1093\/comjnl\/41.4.231","volume":"41","author":"I.C. Wu","year":"1998","unstructured":"Wu I.C., Chen L.B.: On detection of bounded global predicates. Comput. J. 41(4), 231\u2013237 (1998)","journal-title":"Comput. J."},{"issue":"8","key":"124_CR21","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1006\/jpdc.2001.1740","volume":"61","author":"L.H. Yen","year":"2001","unstructured":"Yen L.H.: Precluding useless events for on-line global predicate detections. J. Parallel Distrib. Comput. 61(8), 1077\u20131095 (2001)","journal-title":"J. Parallel Distrib. Comput."}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-010-0124-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-010-0124-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-010-0124-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T12:39:12Z","timestamp":1559911152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-010-0124-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":21,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["124"],"URL":"https:\/\/doi.org\/10.1007\/s00446-010-0124-2","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}