Selected Publications

    1997

  1. V. V. Murty, V. K. Garg, Characterization of Message Ordering Specifications and Protocols,Proc. IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, 1997, pp. 492 - 499.Abstract ...........Postscript

    2. 1996

  2. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.

    3. 1988

  3. V. K. Garg, C. V. Ramamoorthy,High Level Communication Primitives in the Distributed System Specification Language,Proc. IEEE International Conference on Computer Languages, Miami Beach, Florida,Oct. 1988, pp. 92-99.Abstract ........... Postscript

  4. V. K. Garg,Specification and Analysis of Concurrent Systems using the STOCS Model, Proc. 1988 Computer NetworkingSymposium, Washington, D.C., April 1988, pp. 192-200.

    5. 1987 and before

  5. C. V. Ramamoorthy, A. Bhide, V. K. Garg, T. Yamaura,Software Quality and Requirement Specification,Proc. IEEE International Conference on Computer Languages,Miami, Florida, Oct. 1986, pp. 75-83.