Edge Rewrite
// 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: a2297aa1cbcca23e

Jump to content

Communicating X-machine

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