A Proof of the Kahn Principle for Input/Output Automata

  title={A Proof of the Kahn Principle for Input/Output Automata},
  author={Nancy A. Lynch and Eugene W. Stark},
  journal={Inf. Comput.},
We use input/output automata to define a simple and general model of networks of concurrently executing, nondeterministic processes that communicate through unidirectional, named ports. A notion of the input/output relation computed by a process is defined, and determinate processes are defined to be processes whose input/output relations are single-valued. We show that determinate processes compute continuous functions, and that networks of determinate processes obey Kahn’s fixed-point… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 185 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 66 extracted citations

185 Citations

Citations per Year
Semantic Scholar estimates that this publication has 185 citations based on the available data.

See our FAQ for additional information.