抽象异步网络的广义 Kahn 原理

我们的总体动机是回答这样一个问题：“什么是并发计算的模型？”。作为初步练习，我们研究数据流网络。我们发展了异步网络模型的一个非常一般的概念。“Kahn 原理”指出，由泛函节点构建的网络是与该网络相关联的方程组的最小不动点，它已成为数据流网络形式化研究的基准。我们在抽象异步网络的背景下表述了 Kahn 原理的一个广义版本，该版本适用于一大类非确定性系统；并证明在关于模型的某些自然假设下，Kahn 原理成立。我们还表明，一类代表了在任意事件结构上进行计算的网络模型（推广了在流上进行计算的数据流网络）满足这些假设。