A Proof of the Kahn Principle for Input/Output Automata

@article{Lynch1989APO,
  title={A Proof of the Kahn Principle for Input/Output Automata},
  author={Nancy A. Lynch and Eugene W. Stark},
  journal={Inf. Comput.},
  year={1989},
  volume={82},
  pages={81-92}
}
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

Citations

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

185 Citations

051015'88'95'03'11'19
Citations per Year
Semantic Scholar estimates that this publication has 185 citations based on the available data.

See our FAQ for additional information.