JUCS - Journal of Universal Computer Science 6(5): 490-502, doi: 10.3217/jucs-006-05-0490
A New Approach to Communicating X-Machines Systems
expand article infoHoria Georgescu
‡ Faculty of Mathematics, Bucharest University, Bucharest, Romania
Open Access
This paper presents a new model for the specification of communicating X-machine systems (CXMS). In previous papers, systems of X-machines have been implemented in two ways: using an unique X-machine which simulates the concurrent behaviour of several processes [1], or using several X-machines which communicate through asynchronous channels [2]. This article introduces an X-machine system for which the communication between components is done through synchronous channels. The model supposes that each X-machine has a local memory, an input and an output tape. The X-machines act simultaneously. The states of each component of the system are partitioned into processing and communicating states. Passing messages between the X-machines involves only communicating states. It is shown that, taking advantage of the behaviour of X-machines, communication using channels may be implemented, thus providing a synchronous message passing.
communicating X-machine systems, concurrent processes, communication using channels