{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:56:19Z","timestamp":1742385379082},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602743"},{"type":"electronic","value":"9783540447832"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022155","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:19:52Z","timestamp":1131844792000},"page":"303-317","source":"Crossref","is-referenced-by-count":16,"title":["Efficient detection of restricted classes of global predicates"],"prefix":"10.1007","author":[{"given":"Craig M.","family":"Chase","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"21_CR1","unstructured":"\u00d6. Babao\u011flu and K. Marzullo. Consistent global states of distributed systems: fundamental concepts and mechanisms, in Distributed Systems, chapter 4. ACM Press, Frontier Series. (S.J. Mullender Ed.), 1993."},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(87)90005-3","volume":"49","author":"L. Bouge","year":"1987","unstructured":"L. Bouge. Repeated snapshots in distributed systems with synchronous communication and their implementation in CSP. Theoretical Computer Science, 49:145\u2013169, 1987.","journal-title":"Theoretical Computer Science"},{"key":"21_CR3","volume-title":"Specification and detection of behavioral patterns in distributed computations","author":"\u00d6. Babao\u011flu","year":"1994","unstructured":"\u00d6. Babao\u011flu and M. Raynal. Specification and detection of behavioral patterns in distributed computations. In Proc. of 4th IFIP WG 10.4 Int. Conference on Dependable Computing for Critical Applications, San Diego, CA, January 1994. Springer Verlag Series in Dependable Computing."},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. M. Chandy","year":"1985","unstructured":"K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1):63\u201375, February 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"21_CR5","first-page":"163","volume-title":"Consistent detection of global predicates","author":"R. Cooper","year":"1991","unstructured":"R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 163\u2013173, Santa Cruz, CA, May 1991. ACM\/ONR."},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/69215.69233","volume":"24","author":"C. J. Fidge","year":"1989","unstructured":"C. J. Fidge. Partial orders for parallel debugging. In Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, volume 24 of SIGPLAN Notices, pages 183\u2013194, January 1989.","journal-title":"SIGPLAN Notices"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"E. Fromentin, M. Raynal, V. K. Garg, and A. I. Tomlinson. On the fly testing of regular patterns in distributed computations. In Proc. of the 23rd Intl. Conf. on Parallel Processing, St. Charles, IL, August 1994.","DOI":"10.1109\/ICPP.1994.138"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0020-0190(92)90253-R","volume":"44","author":"V. K. Garg","year":"1992","unstructured":"V. K. Garg. Some optimal algorithms for decomposed partially ordered sets. Information Processing Letters, 44:39\u201343, November 1992.","journal-title":"Information Processing Letters"},{"key":"21_CR9","first-page":"232","volume":"2","author":"V. K. Garg","year":"1995","unstructured":"V. K. Garg, C. Chase, R. Kilgore, and J. R. Mitchell. Detecting conjunctive channel predicates in a distribute programming environment. In Proc. of the International Conference on System Sciences, volume 2, pages 232\u2013241, Maui, Hawaii, January 1995.","journal-title":"Proc. of the International Conference on System Sciences"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"A. V. Goldberg and R. E. Tarjan. A new approach to the maximum flow problem. In Proc. of the Eighteenth Annual ACM Symposium on Theory of Computing, pages 136\u2013146, 1986.","DOI":"10.1145\/12130.12144"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"V. K. Garg and B. Waldecker. Detection of unstable predicates in distributed programs. In Proc. of 12th Conference on the Foundations of Software Technology & Theoretical Computer Science, pages 253\u2013264. Springer Verlag, December 1992. Lecture Notes in Computer Science 652.","DOI":"10.1007\/3-540-56287-7_110"},{"issue":"3","key":"21_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/71.277788","volume":"5","author":"V. K. Garg","year":"1994","unstructured":"V. K. Garg and B. Waldecker. Detection of weak unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems, 5(3):299\u2013307, March 1994.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"21_CR13","first-page":"32","volume-title":"Detecting atomic sequences of predicates in distributed computations","author":"M. Hurfin","year":"1993","unstructured":"M. Hurfin, N. Plouzeau, and M. Raynal. Detecting atomic sequences of predicates in distributed computations. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 32\u201342, San Diego, CA, May 1993. ACM\/ONR. (Reprinted in SIGPLAN Notices, Dec. 1993)."},{"issue":"3","key":"21_CR14","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1016\/0196-6774(90)90022-7","volume":"11","author":"D. B. Johnson","year":"1990","unstructured":"D. B. Johnson and W. Zwaenepoel. Recovery in distributed systems using optimistic message logging and checkpointing. Journal of Algorithms, 11(3):462\u2013491, September 1990.","journal-title":"Journal of Algorithms"},{"key":"21_CR15","unstructured":"F. Mattern. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215\u2013226. Elsevier Science Publishers B. V, 1989."},{"key":"21_CR16","first-page":"316","volume-title":"Breakpoints and halting in distributed programs","author":"B. P. Miller","year":"1988","unstructured":"B. P. Miller and J. Choi. Breakpoints and halting in distributed programs. In Proc. of the 8th\nInternational Conference on Distributed Computing Systems, pages 316\u2013323, San Jose, CA, July 1988. IEEE."},{"key":"21_CR17","unstructured":"M. Spezialetti and P. Kearns. Efficient distributed snapshots. In Proc. of the 6th International Conference on Distributed Computing Systems, pages 382\u2013388, 1986."},{"issue":"3","key":"21_CR18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF02277859","volume":"7","author":"R. Schwartz","year":"1994","unstructured":"R. Schwartz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3): 149\u2013174, 1994.","journal-title":"Distributed Computing"},{"key":"21_CR19","volume-title":"Cornell University Computer Science Technical Report 95-1511","author":"S. D. Stoller","year":"1995","unstructured":"Scott D. Stoller and Fred B. Schneider. Faster possibility detection by combining two approaches. In Proceedings of the Workshop on Distributed Algorithms, Le Mont Saint Michel, France, September 1995. available as Cornell University Computer Science Technical Report 95-1511."},{"key":"21_CR20","first-page":"21","volume-title":"Detecting relational global predicates in distributed systems","author":"A. I. Tomlinson","year":"1993","unstructured":"A. I. Tomlinson and V. K. Garg. Detecting relational global predicates in distributed systems. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 21\u201331, San Diego, CA, May 1993. ACM\/ONR."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T06:08:39Z","timestamp":1549260519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602743","9783540447832"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0022155","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}