
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 singlevalued. It is shown that determinate processes compute continuous functions, and that networks of determinate processes obey Kahn's fixedpoint 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