2013 IEEE 33rd International Conference on Distributed Computing Systems (2001)

Mesa, AZ

Apr. 16, 2001 to Apr. 19, 2001

ISBN: 0-7695-1077-9

pp: 0322

Vijay K. Garg , The University of Texas at Austin

Neeraj Mittal , The University of Texas at Austin

ABSTRACT

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.

INDEX TERMS

CITATION

Vijay K. Garg,
Neeraj Mittal,
"On Slicing a Distributed Computation",

*2013 IEEE 33rd International Conference on Distributed Computing Systems*, vol. 00, no. , pp. 0322, 2001, doi:10.1109/ICDSC.2001.918962