Networks of real-time processes

Abstract

The input-output function computed by a network of asynchronous real-time processes is proved to be identical to the unique fixed point of a network functional even though the components of the network may compute nonmonotonic functions. The techniques used are those of contractive functions on metric spaces rather than the usual Scott continuity on partial orders. Thus a well-known principle of Kahn is extended to an important model of parallel systems that has been resistant to the traditional approach using Scott continuity.

This document was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor the University of California nor any of their employees, makes any warranty, expressed or implied, or assumes any legal liability or responsibility for the accuracy, completeness, or usefulness of any information, apparatus, product, or process disclosed, or represents that its use would not infringe privately owned rights. Reference herein to any specific commercial products, process, or service by trade name, trademark, manufacturer, or otherwise, does not necessarily constitute or imply its endorsement, recommendation, or favoring by the United States Government or the University of California. The views and opinions of authors expressed herein do not necessarily state or reflect those of the United States Government or the University of California, and shall not be used for advertising or other product endorsement. This work was supported (in part) by the Applied Mathematics Program of the Office of Energy Research (U.S. Department of Energy) under contract No. W-7405-Eng-48 to Lawrence Livermore National Laboratory.