LCS Publication Details
Publication Title: A PROOF OF THE KAHN PRINCIPLE FOR INPUT/OUTPUT AUTOMATA
Publication Author: Lynch, Nancy A.
Additional Authors: Stark, Eugene W.
LCS Document Number: MIT-LCS-TM-349
Publication Date: 1-1-1988
LCS Group: No Group Specified
Additional URL: No URL Given
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 singled-valued. We show that determinate processes compute continuous functions, and that networks of determinate processes obey Kahan's fixed-point principle.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.