A. V. S. Rajan S. Bavan Geetha Abeysinghe Semantics for the Specification of Asynchronous Communicating Systems (SACS). 33-38 2007 SCSS (1) http://dx.doi.org/10.1007/978-1-4020-8741-7_7 conf/cisse/2007scss1 db/conf/cisse/scss2007-1.html#RajanBA07