{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T08:50:45Z","timestamp":1766047845761},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s00446-004-0117-0","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T09:19:36Z","timestamp":1107508776000},"page":"251-277","source":"Crossref","is-referenced-by-count":28,"title":["Techniques and applications of computation slicing"],"prefix":"10.1007","volume":"17","author":[{"given":"Neeraj","family":"Mittal","sequence":"first","affiliation":[]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1109\/32.940566","volume":"27","author":"Alagar","year":"8","unstructured":"Alagar S, Venkatesan S: Techniques to Tackle State Explosion in Global Predicate Detection. IEEE Trans Software Eng 27(8):704-714 (2001)","journal-title":"IEEE Trans Software Eng"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0164-1212(96)00027-1","volume":"33","author":"Babaoglu","year":"3","unstructured":"Babaoglu \u00d6, Fromentin E, Raynal M: A Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations. J Syst Software 33(3):287-298 (1996)","journal-title":"J Syst Software"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(87)90005-3","volume":"49","author":"Bouge","year":"1987","unstructured":"Bouge L: Repeated Snapshots in Distributed Systems with Synchronous Communication and their Implementation in CSP. Theor Comput Sci 49:145-169 (1987)","journal-title":"Theor Comput Sci"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Chase C, Garg VK: On Techniques and their Limitations for the Global Predicate Detection Problem. In: Proceedings of the Workshop on Distributed Algorithms (WDAG), pp 303-317, France, 1995","DOI":"10.1007\/BFb0022155"},{"key":"CR5","first-page":"191","volume":"Comput","author":"Chase","year":"4","unstructured":"Chase C, Garg VK: Detection of Global Predicates: Techniques and their Limitations. Distrib Comput (DC) 11(4):191-201 (1998)","journal-title":"Distrib"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Cheng J: Slicing Concurrent Programs - A Graph-Theoretical Approach. In: Proceedings of the International Workshop on Automated Debugging (AADEBUG), pp 223-240, 1993","DOI":"10.1007\/BFb0019411"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"Chandy","year":"1","unstructured":"Chandy KM, Lamport L: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans Comput Syst 3(1):63-75 (1985)","journal-title":"ACM Trans Comput Syst"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Cooper R, Marzullo K: Consistent Detection of Global Predicates. In: Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pp 163-173, Santa Cruz, California, 1991","DOI":"10.1145\/122759.122774"},{"key":"CR9","unstructured":"Davey BA, Priestley HA: Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 1990"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"Fidge","year":"8","unstructured":"Fidge C: Logical Time in Distributed Computing Systems. IEEE Comput 24(8):28-33 (1991)","journal-title":"IEEE Comput"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Garg VK: Algorithmic Combinatorics based on Slicing Posets. In: Proceedings of the 22nd Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Kanpur, India, December 2002","DOI":"10.1007\/3-540-36206-1_16"},{"key":"CR12","unstructured":"Garg VK: Elements of Distributed Computing. Wiley, New York, NY, 2002"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Garg VK, Mittal N: On Slicing a Distributed Computation. In: Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pp 322-329, Phoenix, Arizona, April 2001","DOI":"10.1109\/ICDSC.2001.918962"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Godefroid P: Partial-Order Methods for the Verification of Concurrent Systems, Lect Notes Comput Sci, vol 1032, Springer, 1996","DOI":"10.1007\/3-540-60761-7"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1109\/32.707701","volume":"24","author":"Hurfin","year":"8","unstructured":"Hurfin M, Mizuno M, Singhal M, Raynal M: Efficient distributed detection of conjunctions of local predicates. IEEE Trans Software Eng 24(8):664-677 (1998)","journal-title":"IEEE Trans Software Eng"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Jegou R, Medina R, Nourine L: Linear Space Algorithm for On-line Detection of Global Predicates. In: Desel J (ed) Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), pp 175-189. Springer, 1995","DOI":"10.1007\/978-1-4471-3078-9_12"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Johnson DB, Zwaenepoel W: Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing. In: Proceedings of the 6th ACM Symposium on Principles of Distributed Computing (PODC), pp 171-181, August 1988","DOI":"10.1145\/62546.62575"},{"key":"CR18","unstructured":"Korel B, Rilling J: Application of Dynamic Slicing in Program Debugging. In: Kamkar M (ed) Proceedings of the 3rd International Workshop on Automated Debugging (AADEBUG), pp 43-57, Link\\? oping, Sweden, May 1997"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Kshemkalyani AD: A Framework for Viewing Atomic Events in Distributed Computations. Theor Comput Sci 196(1-2):45-70 (1998)","DOI":"10.1016\/S0304-3975(97)00195-3"},{"key":"CR20","first-page":"558","volume":"ACM","author":"Lamport","year":"7","unstructured":"Lamport L: Time, Clocks, and the Ordering of Events in a Distributed System. Commun ACM (CACM) 21(7):558-565 (1978)","journal-title":"Commun"},{"key":"CR21","unstructured":"Mattern F: Virtual Time and Global States of Distributed Systems. In: Parallel and Distributed Algorithms: Proceedings of the Workshop on Distributed Algorithms (WDAG), pp 215-226. Elsevier Science Publishers B. V. (North-Holland), 1989"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Mittal N, Garg VK: Computation Slicing: Techniques and Theory. In: Proceedings of the Symposium on Distributed Computing (DISC), pp 78-92, Lisbon, Portugal, October 2001","DOI":"10.1007\/3-540-45414-4_6"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Mittal N, Garg VK: On Detecting Global Predicates in Distributed Computations. In: Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pp 3-10, Phoenix, Arizona, April 2001","DOI":"10.1109\/ICDSC.2001.918927"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Mittal N, Garg VK: Software Fault Tolerance of Distributed Programs using Computation Slicing. In: Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems (ICDCS), pp 105-113, Providence, Rhode Island, May 2003","DOI":"10.1109\/ICDCS.2003.1203457"},{"key":"CR25","unstructured":"Mittal N, Garg VK: Techniques and Applications of Computation Slicing. Technical Report UTDCS-15-03, Department of Computer Science, The University of Texas at Dallas, April 2003"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Mittal N, Garg VK: Finding Missing Synchronization in a Distributed Computation using Controlled Re-execution. Distrib Comput (DC), March 2004. Online First","DOI":"10.1007\/s00446-003-0104-x"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Mittal N, Sen A, Garg VK, Atreya R: Finding Satisfying Global States: All for One and One for All. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), April 2004","DOI":"10.1109\/IPDPS.2004.1302994"},{"key":"CR28","first-page":"165","volume":"Syst","author":"Netzer","year":"2","unstructured":"Netzer RHB, Xu J: Necessary and Sufficient Conditions for Consistent Global Snapshots. IEEE Trans Parallel Distrib Syst (TPDS) 6(2):165-169 (1995)","journal-title":"IEEE Trans Parallel Distrib"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1090\/S0002-9939-1974-0360393-5","volume":"44","author":"Rival","year":"2","unstructured":"Rival I: Maximal Sublattices of Finite Distributive Lattices II. Proc Amer Math Soci 44(2):263-268 (1974)","journal-title":"Proc Amer Math Soci"},{"key":"CR30","unstructured":"Spezialetti M, Kearns P: Efficient Distributed Snapshots. In: Proceedings of the 6th IEEE International Conference on Distributed Computing Systems (ICDCS), pp 382-388, 1986"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Stoller SD, Schneider F: Faster Possibility Detection by Combining Two Approaches. In: Proceedings of the Workshop on Distributed Algorithms (WDAG), Lect Notes Comput Sci (LNCS), vol 972 pp 318-332, France, September 1995","DOI":"10.1007\/BFb0022156"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Stoller SD, Unnikrishnan L, Liu YA: Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. In: Proceedings of the 12th International Conference on Computer-Aided Verification (CAV), Lect Notes Comput Sci (LNCS), vol 1855 pp 264-279. Springer, July 2000","DOI":"10.1007\/10722167_22"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Tarafdar A, Garg V:. Predicate Control for Active Debugging of Distributed Programs. In: Proceedings of the 9th IEEE Symposium on Parallel and Distributed Processing (SPDP), pp 763-769, Orlando, 1998","DOI":"10.1109\/IPPS.1998.670013"},{"key":"CR34","first-page":"121","volume":"3","author":"Tip","year":"3","unstructured":"Tip F: A Survey of Program Slicing Techniques. J Programm Lang 3(3):121-189 (1995)","journal-title":"J Programm Lang"},{"key":"CR35","first-page":"197","volume":"Syst","author":"Venkatesh","year":"2","unstructured":"Venkatesh G: Experimental Results from Dynamic Slicing of C Programs. ACM Trans Programm Lang Syst (TOPLAS) 17(2):197-216 (1995)","journal-title":"ACM Trans Programm Lang"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1109\/12.588059","volume":"46","author":"Wang","year":"4","unstructured":"Wang Y-M: Consistent Global Checkpoints that Contain a Given Set of Local Checkpoints. IEEE Trans Comput 46(4):456-468 (1997)","journal-title":"IEEE Trans Comput"},{"key":"CR37","first-page":"446","volume":"ACM","author":"Weiser","year":"7","unstructured":"Weiser M: Programmers Use Slices when Debugging. Commun ACM (CACM) 25(7):446-452 (1982)","journal-title":"Commun"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-004-0117-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-004-0117-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-004-0117-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:42:03Z","timestamp":1586101323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-004-0117-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["117"],"URL":"https:\/\/doi.org\/10.1007\/s00446-004-0117-0","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}