{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:15:10Z","timestamp":1742386510706,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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\/bfb0022156","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:19:52Z","timestamp":1131862792000},"page":"318-332","source":"Crossref","is-referenced-by-count":17,"title":["Faster possibility detection by combining two approaches"],"prefix":"10.1007","author":[{"given":"Scott D.","family":"Stoller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred B.","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"unstructured":"Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The design and analysis of computer algorithms. Addison Wesley, 1974.","key":"22_CR1"},{"doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Luis Balc\u00e1zar, Josep D\u00edaz, and Joaquim Gabarr\u00f3. Structural Complexity I. Springer-Verlag, 1988.","key":"22_CR2","DOI":"10.1007\/978-3-642-97062-7"},{"unstructured":"\u00d6zalp Babao\u011flu and Keith Marzullo. Consistent global states of distributed systems: Fundamental concepts and mechanisms. In Sape Mullender, editor, Distributed Systems, chapter 5, pages 97\u2013145. Addison Wesley, 2nd ed., 1993.","key":"22_CR3"},{"key":"22_CR4","volume-title":"Technical Report ECE-PDS-1994-04","author":"C. M. Chase","year":"1994","unstructured":"Craig M. Chase and Vijay K. Garg. On techniques and their limitations for the global predicate detection problem in distributed systems. Technical Report ECE-PDS-1994-04, Parallel and Distributed Systems Laboratory, University of Texas at Austin, 1994."},{"doi-asserted-by":"crossref","unstructured":"Robert Cooper and Keith Marzullo. Consistent detection of global predicates. In Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, 1991. Appeared as ACM SIGPLAN Notices 26(12):167\u2013174, December 1991.","key":"22_CR5","DOI":"10.1145\/122759.122774"},{"doi-asserted-by":"crossref","unstructured":"D. Coppersmith and S. Winograd. Matrix multiplication via arithmetic progressions. In Conference Proceedings of the 19th Annual ACM Symposium on Theory of Computing, pages 1\u20136, 1987.","key":"22_CR6","DOI":"10.1145\/28395.28396"},{"doi-asserted-by":"crossref","unstructured":"Claire Diehl, Claude Jard, and Jean-Xavier Rampon. Reachability analysis on distributed executions. In J.-P. Jouannaud and M.-C. Gaudel, editors, TAPSOFT '93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science, pages 629\u2013643. Springer-Verlag, 1993.","key":"22_CR7","DOI":"10.1007\/3-540-56610-4_94"},{"doi-asserted-by":"crossref","unstructured":"Michael L. Fredman and Monika Rauch Henzinger. Lower bounds for dynamic connectivity problems in graphs. Technical Report TR 94-1420, Cornell University, April 1994. Also appeared in extended abstract: Monika Rauch. Improved Data Structures for Fully Dynamic Biconnectivity. In Proc. 26th Annual Symposium on Theory of Computing (STOC '94), pages 686\u2013695, 1994.","key":"22_CR8","DOI":"10.1145\/195058.195434"},{"unstructured":"C. Fidge. Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the 11th Australian Computer Science Conference, pages 56\u201366, 1988.","key":"22_CR9"},{"unstructured":"Eddy Fromentin and Michel Raynal. Inevitable global states: a concept to detect properties of distributed computations. Internal Publication PI-842, IRISA, June 1994.","key":"22_CR10"},{"key":"22_CR11","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York, 1979."},{"doi-asserted-by":"crossref","unstructured":"Vijay K. Garg and Brian Waldecker. Detection of unstable predicates in distributed programs. In Proceedings of the 12th International Conference on Foundations of Software Technology and Theoretical Computer Science, volume 652 of Lecture Notes in Computer Science, pages 253\u2013264. Springer-Verlag, 1992.","key":"22_CR12","DOI":"10.1007\/3-540-56287-7_110"},{"issue":"3","key":"22_CR13","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/71.277788","volume":"5","author":"V. K. Garg","year":"1994","unstructured":"Vijay K. Garg and Brian Waldecker. Detection of weak unstable predicates in distributed programs. IEEE Transactions on Parallel and Distributed Systems, 5(3):299\u2013307, 1994.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"doi-asserted-by":"crossref","unstructured":"R. Jegou, R. Medina, and L. Nourine. Linear space algorithm for on-line detection of global predicates. To appear in Proc. International Workshop on Structures in Concurrency Theory (STRICT '95), 1995.","key":"22_CR14","DOI":"10.1007\/978-1-4471-3078-9_12"},{"issue":"7","key":"22_CR15","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013564, 1978.","journal-title":"Communications of the ACM"},{"unstructured":"Friedemann Mattern. Virtual time and global states of distributed systems. In M. Corsnard, editor, Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 120\u2013131. North-Holland, 1989.","key":"22_CR16"},{"doi-asserted-by":"crossref","unstructured":"Keith Marzullo and Gil Neiger. Detection of global state predicates. In Proceedings of the 5th International Workshop on Distributed Algorithms, volume 579 of Lecture Notes in Computer Science, pages 254\u2013272. Springer-Verlag, 1991.","key":"22_CR17","DOI":"10.1007\/BFb0022452"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/BF02165411","volume":"13","author":"V. Strassen","year":"1969","unstructured":"Volker Strassen. Gaussian elimination is not optimal. Numerische Mathematik, 13:354\u2013356, 1969.","journal-title":"Numerische Mathematik"},{"key":"22_CR19","volume-title":"Technical Report TR-PDS-1994-006","author":"A. I. Tomlinson","year":"1994","unstructured":"Alexander I. Tomlinson and Vijay K. Garg. Monitoring functions on global states of distributed programs. Technical Report TR-PDS-1994-006, Parallel and Distributed Systems Laboratory, University of Texas at Austin, 1994."}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:01:35Z","timestamp":1736082095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602743","9783540447832"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0022156","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}