{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:08:25Z","timestamp":1742378905921},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206323"},{"type":"electronic","value":"9783540409656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40965-6_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:52:14Z","timestamp":1294415534000},"page":"91-109","source":"Crossref","is-referenced-by-count":3,"title":["Global Predicate Detection under Fine-Grained Modalities"],"prefix":"10.1007","author":[{"given":"Punit","family":"Chandra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajay D.","family":"Kshemkalyani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Chandra, P., Kshemkalyani, A.D.: Algorithms for Detecting Global Predicates under Fine-grained Modalities, Technical Report UIC-ECE-02-05, University of Illinois at Chicago (April 2002)"},{"issue":"5","key":"7_CR2","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":"7_CR3","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":"7_CR4","doi-asserted-by":"crossref","unstructured":"Cooper, R., Marzullo, K.: Consistent Detection of Global Predicates. In: Proc. ACM\/ONR Workshop on Parallel & Distributed Debugging, May 1991, pp. 163\u2013173 (1991)","DOI":"10.1145\/122759.122774"},{"key":"7_CR5","volume-title":"Distributed Systems Concepts and Design","author":"G. Coulouris","year":"2001","unstructured":"Coulouris, G., Dollimore, J., Kindberg, T.: Distributed Systems Concepts and Design, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"issue":"3","key":"7_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":"7_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":"7_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":"7_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":"7_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"},{"key":"7_CR11","series-title":"LNCS","volume-title":"5th Workshop on Distributed Computing","author":"A.D. Kshemkalyani","year":"2003","unstructured":"Kshemkalyani, A.D.: A Note on Fine-grained Modalities for Nonconjunctive Predicates. In: 5th Workshop on Distributed Computing, December 2003. LNCS, Springer, Heidelberg (2003)"},{"issue":"1-2","key":"7_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3975(97)00195-3","volume":"196","author":"A.D. Kshemkalyani","year":"1998","unstructured":"Kshemkalyani, A.D.: A Framework for Viewing Atomic Events in Distributed Computations. Theoretical Computer Science\u00a0196(1-2), 45\u201370 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"7","key":"7_CR13","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":"7_CR14","series-title":"LNCS","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)"},{"key":"7_CR15","volume-title":"Distributed Systems","author":"S. Mullender","year":"1994","unstructured":"Mullender, S.: Distributed Systems, 2nd edn. ACM Press, New York (1994)","edition":"2"},{"key":"7_CR16","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":"7_CR17","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","Advances in Computing Science \u2013 ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40965-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:41:37Z","timestamp":1553334097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40965-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206323","9783540409656"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40965-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}