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