Apr. 16, 2001 to Apr. 19, 2001
Vijay K. Garg , The University of Texas at Austin
Neeraj Mittal , The University of Texas at Austin
Abstract: We introduce the notion of a slice of a distributed computation. A slice of a distributed computation with respect to a global predicate is a computation which captures those and only those consistent cuts of the original computation which satisfy the global predicate. We show that a slice exists for a global predicate iff the predicate is a regular predicate. We then give an efficient algorithm for computing the slice and show applications of slicing to testing and debugging of distributed programs.
Vijay K. Garg, Neeraj Mittal, "On Slicing a Distributed Computation", ICDCS, 2001, 2013 IEEE 33rd International Conference on Distributed Computing Systems, 2013 IEEE 33rd International Conference on Distributed Computing Systems 2001, pp. 0322, doi:10.1109/ICDSC.2001.918962