Ramamoorthy, C.V.

• Garg, V.K.; Ramamoorthy, C.V.:
  ConC: a Language for Concurrent Programming. 1991.

• Ramamoorthy, C.V.; Yaw, Y.; Tsai, W.T.:
  Synthesis Rules for Cyclic Interactions among Processes in Concurrent Systems. 1988.

• Yaw, Y.; Ramamoorthy, C.V.; Wei, B.W.Y.; Tsai, W.T.:
  Synthesis Approach for Designing Concurrent Systems. 1988.

• Yaw, Y.; Wei, B.W.Y.; Ramamoorthy, C.V.; Tsai, W.T.:
  Extensions on Performance Evaluation Techniques for Concurrent Systems. 1988.

• Song, J.S.; Satoh, S.; Ramamoorthy, C.V.:
  The Abstraction of Petri Nets. 1987.

• Ramamoorthy, C.V.; Yaw, Y.:
  A Petri Net Reduction Algorithm for Protocol Analysis. 1986.

• Ramamoorthy, C. V.; Dong, Siyi T.:
  An Implementation of an Automated Protocol Synthesizer (APS) and its Application to the X.21 Protocol. 1985.

• Ramamoorthy, C.V.; Ho, G.S.:
  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. 1979.

• Ramamoorthy, C.V.:
  The Design Methodology of Distributed Computer Systems. 1979.

• Ramamoorthy, C.V.; Ho, G.S.:
  A Design Methodology for User Oriented Computer Systems. 1978.

Back to the Petri Nets Bibliography