Communicating X-Machine Explained

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

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

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Communicating X-Machine".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.