A. V. S. Rajan, S. Bavan, Geetha Abeysinghe. Semantics for the Specification of Asynchronous Communicating Systems (SACS). In Tarek M. Sobh, editor, Advances in Computer and Information Sciences and Engineering, Proceedings of the 2007 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Syste. pages 33-38, Springer, 2007. [doi]
Abstract is missing.