Abstract.
This paper presents a new model for passing messages in communicating stream X-machine systems (CSXMS). The components are stream X-machines with ε-transitions, acting simultaneously. The states are partitioned into processing and communicating states. Passing messages between the X-machines involves only communicating states. A communication matrix is used as a common memory. It is shown that a structured way of using channels, namely via select constructs with guarded alternatives and terminate clause, may be implemented. An automatic scheme for writing concurrent programs in an Ada-like style, starting from a CSXMS, is proposed.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Additional information
Received December 1999 / Accepted in revised form January 2001
Rights and permissions
About this article
Cite this article
Cowling, A., Georgescu, H. & Vertan, C. A Structured Way to Use Channels for Communication in X-Machine Systems. Formal Aspects of Computing 12, 485–500 (2000). https://doi.org/10.1007/s001650070007
Issue Date:
DOI: https://doi.org/10.1007/s001650070007