Edge Rewrite
// 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.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a22d301e0ee61dfc

Jump to content

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 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