Article snapshot taken from Wikipedia with creative commons attribution-sharealike license.
Give it a read and then ask your questions in the chat.
We can research this topic together.
Model of computation
The Communicating (Stream) X-Machine is a model of computation introduced by various researchers in the 1990s to model systems composed of communicating agents. The model exists in several variants, which are either based directly on Samuel Eilenberg's X-machine or on Gilbert Laycock's later Stream X-Machine.
References
S. Eilenberg (1974)
Automata, Languages and Machines, Vol. A.
Academic Press, London.
Gilbert Laycock (1993)
The Theory and Practice of Specification Based Software Testing.
PhD Thesis, University of Sheffield.
AbstractArchived 2007-11-05 at the Wayback Machine