A. V. S. Rajan

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

A. V. S. Rajan, A. S. Bavan, Geetha Abeysinghe
An Equivalence Theorem for the Specification of Asynchronous Communication Systems (SACS) and Asynchronous Message Passing System (AMPS). SCSS (2) (2008)
A. V. S. Rajan, S. Bavan, Geetha Abeysinghe
Semantics for the Specification of Asynchronous Communicating Systems (SACS). SCSS (1) (2007)