A Structured Way to Use Channels for Communication in X-Machine Systems
Authors: A. J. Cowling, H. Georgescu and C. Vertan.
Published in Formal Aspects of Computing, Volume 12,
Number 6 (December 2000), pages 485 - 500.
This paper presents a new model for passing messages in communicating stream
X-machine systems (CSXMS). The components are stream X-machines with
empty 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 a terminate clause, may be implemented. An
automatic scheme for writing concurrent programs in an Ada-like style,
starting from a CSXMS, is proposed.
I can supply offprints if requested.
Return to the CSXMS papers page.
Go to the main CSXMS page.
This page created by A. J.
Cowling, and last updated on 13 March 2002