{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:13Z","timestamp":1742913973401,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207450"},{"type":"electronic","value":"9783540246046"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24604-6_2","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T03:39:36Z","timestamp":1294371576000},"page":"11-25","source":"Crossref","is-referenced-by-count":0,"title":["A Note on Modalities for Nonconjunctive Global Predicates"],"prefix":"10.1007","author":[{"given":"Ajay D.","family":"Kshemkalyani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"2_CR1","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1109\/32.940566","volume":"27","author":"S. Alagar","year":"2001","unstructured":"Alagar, S., Venkatesan, S.: Techniques to Tackle State Explosion in Global Predicate Detection. IEEE Trans. Software Engg.\u00a027(8), 704\u2013714 (2001)","journal-title":"IEEE Trans. Software Engg."},{"key":"2_CR2","series-title":"LNCS","volume-title":"Proc. ASIAN 2003","author":"P. Chandra","year":"2003","unstructured":"Chandra, P., Kshemkalyani, A.D.: Algorithms for Detecting Global Predicates under Fine-Grained Modalities. In: ASIAN 2003. LNCS, Springer, Heidelberg (2003) (to appear)"},{"issue":"5","key":"2_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0020-0190(03)00295-3","volume":"87","author":"P. Chandra","year":"2003","unstructured":"Chandra, P., Kshemkalyani, A.D.: Distributed Algorithm to Detect Strong Conjunctive Predicates. Information Processing Letters\u00a087(5), 243\u2013249 (2003)","journal-title":"Information Processing Letters"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-36265-7_31","volume-title":"High Performance Computing - HiPC 2002","author":"P. Chandra","year":"2002","unstructured":"Chandra, P., Kshemkalyani, A.D.: Detection of Orthogonal Interval Relations. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol.\u00a02552, pp. 323\u2013333. Springer, Heidelberg (2002)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent Detection of Global Predicates. In: Proc. ACM\/ONR Workshop on Parallel & Distributed Debugging, pp. 163\u2013173 (1991)","DOI":"10.1145\/122759.122774"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","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 & Distributed Systems\u00a05(3), 299\u2013307 (1994)","journal-title":"IEEE Trans. Parallel & Distributed Systems"},{"issue":"12","key":"2_CR7","doi-asserted-by":"publisher","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 & Distributed Systems\u00a07(12), 1323\u20131333 (1996)","journal-title":"IEEE Trans. Parallel & Distributed Systems"},{"issue":"8","key":"2_CR8","doi-asserted-by":"publisher","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. Software Engg.\u00a024(8), 664\u2013677 (1998)","journal-title":"IEEE Trans. Software Engg."},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1006\/jcss.1996.0022","volume":"52","author":"A.D. Kshemkalyani","year":"1996","unstructured":"Kshemkalyani, A.D.: Temporal Interactions of Intervals in Distributed Systems. Journal of Computer and System Sciences\u00a052(2), 287\u2013298 (1996)","journal-title":"Journal of Computer and System Sciences"},{"issue":"8","key":"2_CR10","doi-asserted-by":"publisher","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 & Distributed Systems\u00a014(8), 807\u2013816 (2003)","journal-title":"IEEE Trans. Parallel & Distributed Systems"},{"issue":"7","key":"2_CR11","doi-asserted-by":"publisher","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. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (1992)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0022156","volume-title":"Distributed Algorithms","author":"S. Stoller","year":"1995","unstructured":"Stoller, S., Schneider, F.: Faster Possibility Detection by Combining Two Approaches. In: Helary, J.-M., Raynal, M. (eds.) WDAG 1995. LNCS, vol.\u00a0972, pp. 318\u2013332. Springer, Heidelberg (1995)"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/32.345831","volume":"21","author":"S. Venkatesan","year":"1995","unstructured":"Venkatesan, S., Dathan, B.: Testing and Debugging Distributed Programs Using Global Predicates. IEEE Trans. Software Engg.\u00a021(2), 163\u2013177 (1995)","journal-title":"IEEE Trans. Software Engg."}],"container-title":["Lecture Notes in Computer Science","Distributed Computing - IWDC 2003"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24604-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T22:18:04Z","timestamp":1674080284000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-24604-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207450","9783540246046"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24604-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}