{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T08:53:56Z","timestamp":1766048036653},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426059"},{"type":"electronic","value":"9783540454144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45414-4_6","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T19:12:40Z","timestamp":1184958760000},"page":"78-92","source":"Crossref","is-referenced-by-count":24,"title":["Computation Slicing: Techniques and Theory"],"prefix":"10.1007","author":[{"given":"Neeraj","family":"Mittal","sequence":"first","affiliation":[]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,11]]},"reference":[{"issue":"1","key":"6_CR1","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. DistributedSnapshots: Determining Global States of DistributedSystems. ACM Transactions on Computer Systems, 3(1):63\u201375, February 1985.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s004460050049","volume":"11","author":"C. Chase","year":"1998","unstructured":"C. Chase and V. K. Garg. Detection of Global Predicates: Techniques and their Limitations. Distributed Computing, 11(4):191\u2013201, 1998.","journal-title":"Distributed Computing"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"R. Cooper and K. Marzullo. Consistent Detection of Global Predicates. In Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 163\u2013173, Santa Cruz, California, 1991.","DOI":"10.1145\/122759.122774"},{"key":"6_CR4","volume-title":"Introduction to Algorithms","author":"T. H. Cormen","year":"1990","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, Massachusetts, 1990."},{"key":"6_CR5","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"1990","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 1990."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"V. K. Garg and N. Mittal. On Slicing a DistributedComputation. In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 322\u2013329, Phoenix, Arizona, April 2001.","DOI":"10.1109\/ICDSC.2001.918962"},{"key":"6_CR7","unstructured":"V. K. Garg and B. Waldecker. Detection of Unstable Predicates. In Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, May 1991."},{"issue":"2","key":"6_CR8","first-page":"199","volume":"2","author":"B. Korel","year":"1992","unstructured":"B. Korel and R. Ferguson. Dynamic Slicing of DistributedPrograms. Applied Mathematics and Computer Science Journal, 2(2):199\u2013215, 1992.","journal-title":"Applied Mathematics and Computer Science Journal"},{"key":"6_CR9","unstructured":"B. Korel and J. Rilling. Application of Dynamic Slicing in Program Debugging. In Mariam Kamkar, editor, Proceedings of the 3rd International Workshop on Automated Debugging (AADEBUG), pages 43\u201357, Link\u00f6ping, Sweden, May 1997."},{"issue":"7","key":"6_CR10","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, Clocks, andthe Ordering of Events in a DistributedSystem. Communications of the ACM (CACM), 21(7):558\u2013565, July 1978.","journal-title":"Communications of the ACM (CACM)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"N. Mittal and V. K. Garg. Debugging Distributed Programs Using Controlled Reexecution. In Proceedings of the 19th ACM Symposium on Principles of Distributed Computing (PODC), pages 239\u2013248, Portland, Oregon, July 2000.","DOI":"10.1145\/343477.343624"},{"key":"6_CR12","series-title":"Technical Report","volume-title":"Computation Slicing: Techniques andTheory","author":"N. Mittal","year":"2001","unstructured":"N. Mittal and V. K. Garg. Computation Slicing: Techniques andTheory. Technical Report TR-PDS-2001-002, The Parallel and Distributed Systems Laboratory, Department of Electrical andComputer Engineering, The University of Texas at Austin, April 2001. Available at http:\/\/www.cs.utexas.edu\/users\/neerajm ."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"N. Mittal and V. K. Garg. On Detecting Global Predicates in Distributed Computations. In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 3\u201310, Phoenix, Arizona, April 2001.","DOI":"10.1109\/ICDSC.2001.918927"},{"issue":"2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/71.342127","volume":"6","author":"R. H. B. Netzer","year":"1995","unstructured":"R. H. B. Netzer and J. Xu. Necessary andSufficien t Conditions for Consistent Global Snapshots. IEEE Transactions on Parallel and Distributed Systems, 6(2):165\u2013169, February 1995.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"S. D. Stoller and F. Schnieder. Faster Possibility Detection by Combining Two Approaches. In Proceedings of the Workshop on Distributed Algorithms (WDAG), France, September 1995.","DOI":"10.1007\/BFb0022156"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"A. Tarafdar and V. K. Garg. Predicate Control for Active Debugging of Distributed Programs. In Proceedings of the 9th IEEE Symposium on Parallel and Distributed Processing (SPDP), Orlando, 1998.","DOI":"10.1109\/IPPS.1998.670013"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"A. Tarafdar and V. K. Garg. Software Fault Tolerance of Concurrent Programs Using ControlledRe-execution. InProceedings of the 13th Symposium on Distributed Computing (DISC), pages 210\u2013224, Bratislava, Slovak Republic, September 1999.","DOI":"10.1007\/3-540-48169-9_15"},{"issue":"4","key":"6_CR18","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1109\/12.588059","volume":"46","author":"Y.-M. Wang","year":"1997","unstructured":"Yi-Min Wang. Consistent Global Checkpoints that Contain a Given Set of Local Checkpoints. IEEE Transactions on Computers, 46(4):456\u2013468, April 1997.","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"6_CR19","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"M. Weiser. Programmers Use Slices when Debugging. Communications of the ACM (CACM), 25(7):446\u2013452, 1982.","journal-title":"Communications of the ACM (CACM)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45414-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:02:30Z","timestamp":1556708550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45414-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426059","9783540454144"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45414-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}