Accession Number : ADA194454

Title :   A Proof of the Kahn Principle for Input/Output Automata.

Descriptive Note : Technical rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s) : Lynch, Nancy A ; Stark, Eugene W

PDF Url : ADA194454

Report Date : Jan 1988

Pagination or Media Count : 13

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.

Descriptors :   *INPUT OUTPUT PROCESSING, *SYSTEMS ENGINEERING, AUTOMATA, CONTINUITY, NETWORKS

Subject Categories : Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE