A Proof of the Kahn Principle for Input/Output Automata.
Abstract
The authors use input/output automata to define a simple and general model of networks of concurrently executing, nondeterministic processes that communicate through undirectional, 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. It is shown that determinate processes compute continuous functions, and that networks of determinate processes obey Kahn's fixed-point principle. Although these results are already known, our contribution lies in the fact that the input/output automata model yields extremely simple proofs of them (the simplest we have seen), in spite of its generality.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1988
- Accession Number
- ADA194454
Entities
People
- Eugene W. Stark
- Nancy Lynch
Organizations
- Massachusetts Institute of Technology