Selected Publications

    1996

  1. V. K. Garg, B. Waldecker,Detection of Strong Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 12, December 1996, pp. 1323 - 1333. Abstract ...........Postscript

    2. 1995

  2. V. K. Garg, C. Chase, Distributed Detection of Conjunctive Predicates,Proc. IEEE International Conference on Distributed Computing Systems, Vancouver,Canada, June 1995, pp. 423 - 430.Abstract ...........Postscript

  3. V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, Detecting conjunctive Channel Predicates in a Distributed Programming Environment, Proc. of the Twenty-Eighth Hawaii International Conference on System Sciences,January 1995, Vol. II, pp. 232 - 241.Abstract ...........Postscript

    4. 1994

  4. V. K. Garg, B. Waldecker,Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 5, No. 3, March 1994, pp. 299-307. Abstract ........... Postscript

    5. 1992

  5. V. K. Garg, B. Waldecker, Detection of Unstable Predicate in Distributed Programs,Proc. 12th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science, New Delhi, India,Lecture Notes in Computer Science652, Springer-Verlag, Dec. 1992, pp. 253-264.Abstract ...........Postscript

    6. 1991

  6. B. Waldecker, V. K. Garg, Unstable Predicate Detection in Distributed Programs,Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1991, pp. 692-699.

  7. B. Waldecker, V. K. Garg, Unstable Predicate Detection in Distributed Programs,Proc. 2nd ACM/ONR Workshop on Parallel andDistributed Debugging, Extended Abstract, Santa Cruz, California, May 1991.