Loading...
Please wait, while we are loading the content...
Similar Documents
A Proof of the Kahn Principle for Input/Output Automata (1989)
| Content Provider | CiteSeerX |
|---|---|
| Author | Lynch, Nancy A. Stark, Eugene W. |
| Abstract | 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 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. |
| File Format | |
| Publisher Date | 1989-01-01 |
| Access Restriction | Open |
| Subject Keyword | Academic Press Simple Proof Nondeterministic Process Input Output Relation General Model Input Output Automaton Fixed-point Principle Determinate Process Input Output Automaton Model Yield Com-pute Continuous Function |
| Content Type | Text |
