Communicating X-Machine

From Wikipedia, the free encyclopedia

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 Eilenberg's X-machine^[1]or on Laycock's later Stream X-Machine^[2].

[edit] References

1. ^ S. Eilenberg (1974) Automata, Languages and Machines, Vol. A. Academic Press, London.
2. ^ Gilbert Laycock (1993) The Theory and Practice of Specification Based Software Testing. PhD Thesis, University of Sheffield. Abstract