Selected Publications

    1992

  1. V. K. Garg, M.T. RaghunathConcurrent Regular Expressions and their Relationship to Petri Net Languages, Theoretical Computer Science } 96 (1992) pp 285-304.Abstract ...........Postscript

    2. 1991

  2. V.K. Garg and C.V. Ramamoorthy,ConC: A Language for Concurrent Programming,Computer Languages Journal,Vol. 16, No. 1, January 1991 pp 5-18. Abstract ...........Postscript

    3. 1989

  3. V. K. Garg,Modeling of Distributed Systems by Concurrent Regular Expressions,Proc. 2nd International Conference on FormalDescription Techniques for Distributed Systems and CommunicationProtocols, Vancouver, Canada, Dec. 1989. Published by North-Holland, 1990,pp. 313-327.Postscript

    4. 1988

  4. 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

  5. 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.