{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:32:48Z","timestamp":1725478368922},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540363217"},{"type":"electronic","value":"9783540363224"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11795490_14","type":"book-chapter","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T12:25:18Z","timestamp":1169555118000},"page":"161-175","source":"Crossref","is-referenced-by-count":4,"title":["Stable Predicate Detection in Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Donald","family":"Darling","sequence":"first","affiliation":[]},{"given":"Jean","family":"Mayo","sequence":"additional","affiliation":[]},{"given":"Xinli","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/0743-7315(86)90015-8","volume":"3","author":"T.-H. Lai","year":"1986","unstructured":"Lai, T.-H.: Termination detection for dynamically distributed systems with non-first-in-first-out communication. Journal of Parallel and Distributed Computing\u00a03(4), 577\u2013599 (1986)","journal-title":"Journal of Parallel and Distributed Computing"},{"issue":"14","key":"14_CR2","doi-asserted-by":"publisher","first-page":"2025","DOI":"10.1016\/S0167-8191(96)00068-3","volume":"22","author":"D.M. Dhamdhere","year":"1997","unstructured":"Dhamdhere, D.M., Iyer, S.R., Reddy, E.K.K.: Distributed termination detection for dynamic systems. Parallel Computing\u00a022(14), 2025\u20132045 (1997)","journal-title":"Parallel Computing"},{"key":"14_CR3","first-page":"84","volume-title":"Proceedings of 18th International Parallel and Distributed Symposium","author":"X. Wang","year":"2004","unstructured":"Wang, X., Mayo, J.: A general model for detecting distributed termination in dynamic systems. In: Proceedings of 18th International Parallel and Distributed Symposium, pp. 84\u201390. IEEE Press, Los Alamitos (2004)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/BFb0042327","volume-title":"Fault-Tolerant Distributed Computing","author":"B.S.J. Welch","year":"1990","unstructured":"Welch, B.S.J., Lynch, N.: An overview of clock synchronization. In: Simons, B., Spector, A.Z. (eds.) Fault-Tolerant Distributed Computing. LNCS, vol.\u00a0448, pp. 84\u201396. Springer, Heidelberg (1990)"},{"issue":"10","key":"14_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/2.58235","volume":"23","author":"P. Ramanathan","year":"1990","unstructured":"Ramanathan, P., Shin, K.G., Butler, R.W.: Fault-tolerant clock synchronization in distributed systems. IEEE Computer\u00a023(10), 33\u201344 (1990)","journal-title":"IEEE Computer"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Birman, K.: Building Secure and Reliable Network Applications. Manning Publications Co. (1996)","DOI":"10.1007\/3-540-63343-X_35"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/BFb0022452","volume-title":"Distributed Algorithms","author":"K. Marzullo","year":"1992","unstructured":"Marzullo, K., Neiger, G.: Detection of global state predicates. In: Toueg, S., Kirousis, L.M., Spirakis, P.G. (eds.) WDAG 1991. LNCS, vol.\u00a0579, pp. 254\u2013272. Springer, Heidelberg (1992)"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","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 Transactions on Computer Systems\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0020-0190(87)90125-6","volume":"25","author":"T.H. Lai","year":"1987","unstructured":"Lai, T.H., Yang, H.T.: On distributed snapshots. Information Processing Letters\u00a025(3), 153\u2013158 (1987)","journal-title":"Information Processing Letters"},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1006\/jpdc.1993.1075","volume":"18","author":"F. Mattern","year":"1993","unstructured":"Mattern, F.: Efficient algorithms for distributed snapshots and global virtual time approximation. Journal of Parallel and Distributed Computing\u00a018(4), 423\u2013434 (1993)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"14_CR11","unstructured":"Spezialetti, M., Kearns, J.: Efficient distributed snapshots. In: Proceedings of the Sixth International Conference on Distributed Computing Systems, pp. 382\u2013388 (1986)"},{"issue":"3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0164-1212(98)10034-1","volume":"43","author":"J. Matocha","year":"1998","unstructured":"Matocha, J., Camp, T.: A taxonomy of distributed termination detection algorithms. J. Syst. Softw.\u00a043(3), 207\u2013221 (1998)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E. Knapp","year":"1987","unstructured":"Knapp, E.: Deadlock detection in distributed databases. ACM Computing Surveys\u00a019(4), 303\u2013328 (1987)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0020-0190(83)90089-3","volume":"17","author":"S.P. Rana","year":"1983","unstructured":"Rana, S.P.: A distributed solution of the distributed termination problem. Information Processing Letters\u00a017(1), 43\u201346 (1983)","journal-title":"Information Processing Letters"},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0020-0190(94)00129-4","volume":"52","author":"J. Mayo","year":"1994","unstructured":"Mayo, J., Kearns, P.: Distributed termination detection with roughly synchronized clocks. Information Processing Letters\u00a052(2), 105\u2013108 (1994)","journal-title":"Information Processing Letters"},{"key":"14_CR16","unstructured":"Darling Jr., D., Mayo, J.: Stable predicate detection with probabilistically synchronized clocks. In: Proceedings of the ISCA 13th International Conference on Parallel and Distributed Computing Systems, pp. 574\u2013579 (2000)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Mayo, J., Kearns, P.: Global predicates in rough real time. In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, pp. 17\u201324 (1995)","DOI":"10.1109\/SPDP.1995.530660"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BFb0030684","volume-title":"Distributed Algorithms","author":"S.D. Stoller","year":"1997","unstructured":"Stoller, S.D.: Detecting global predicates in distributed systems with clocks. In: Mavronicolas, M. (ed.) WDAG 1997. LNCS, vol.\u00a01320, pp. 185\u2013199. Springer, Heidelberg (1997)"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s004460050069","volume":"13","author":"S.D. Stoller","year":"2000","unstructured":"Stoller, S.D.: Detecting global predicates in distributed systems with clocks. Distributed Computing\u00a013, 85\u201398 (2000)","journal-title":"Distributed Computing"},{"issue":"2","key":"14_CR20","first-page":"151","volume":"3","author":"S. Bansod","year":"2004","unstructured":"Bansod, S., Mayo, J.: A distributed algorithm for unstable global predicate evaluation with approximately synchronized clocks. Stud. Inform. Univ.\u00a03(2), 151\u2013168 (2004)","journal-title":"Stud. Inform. Univ."},{"issue":"3","key":"14_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/BF01784024","volume":"3","author":"F. Cristian","year":"1989","unstructured":"Cristian, F.: Probabilistic clock synchronization. Distributed Computing\u00a03(3), 146\u2013158 (1989)","journal-title":"Distributed Computing"},{"key":"14_CR22","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1997","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1997)"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11795490_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:59:43Z","timestamp":1556060383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11795490_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540363217","9783540363224"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11795490_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}