Selected Publications

    1995

  1. A. I. Tomlinson, V. K. Garg, Observation of Software for Distributed Systems with RCL,Proc. 15th Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science, Bangalore, India, Lecture Notes in Computer Science1026, Springer-Verlag, Dec. 1995, pp. 195 - 209.Abstract ...........Postscript

  2. V. K. Garg, A. I. Tomlinson, E. Fromentin, M. Raynal, Expressing Control Flow Properties of Distributed Computations,Proc. Symposium on Parallel and Distributed Processing, San Antonio, Texas,October 1995, pp. 432 - 438.Postscript

  3. 1994

  4. E. Fromentin, M. Raynal, V. K. Garg, A. I. Tomlinson, On the fly testing of Regular Patterns in distributed computations, Proc. 23rd International Conference on ParallelProcessing, St. Charles, Illinois, August 1994, pp. 2:73-76.Abstract ...........Postscript