Article · Wikipedia archive · Last revised Jun 1, 2026

Communicating X-machine

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.

Last revised
Jun 1, 2026
Read time
≈ 1 min
Length
82 w
Citations
2
Source
Wikipedia ↗

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-machine1 or on Gilbert Laycock's later Stream X-Machine.2

References

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 Archived 2007-11-05 at the Wayback Machine