Semantics for the Specification of Asynchronous Communicating Systems (SACS). - A. V. S. Rajan; S. Bavan; Geetha Abeysinghe (SCSS (1), 2007)

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