Jump to content

Communicating X-Machine

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Yobot (talk | contribs) at 14:01, 29 July 2011 (WP:CHECKWIKI error 22 fixes (category with space) + general fixes (BRFA 16) using AWB (7799)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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
Retrieved from "https://en.wikipedia.org/w/index.php?title=Communicating_X-Machine&oldid=442044405"