Edge Rewrite
restyle Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

Jump to content

Communicating X-machine

Add links
From Wikipedia, the free encyclopedia
(Redirected from 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[1] or on Gilbert Laycock's later Stream X-Machine.[2]

References

[edit]
  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
Retrieved from "https://en.wikipedia.org/w/index.php?title=Communicating_X-machine&oldid=1266972079"