格林·温斯克尔;尼尔森，莫根斯 并发中的类别。 （英语） Zbl 0919.68046号 Andrew M.Pitts等人，《计算的语义和逻辑》。1995年9月，英国剑桥艾萨克·牛顿数学科学研究所暑期学校。剑桥：剑桥大学出版社（ISBN 0-521-58057-9/hbk）。牛顿研究所出版14，299-354（1997）。 总结：计算行为通常是分布式的，从某种意义上说，它们可以被视为完成联合任务的空间分离活动。许多这样的系统并不是要终止的，因此从传统的输入-输出函数的角度来讨论它们的行为是没有意义的。相反，我们对这些系统的行为感兴趣，因为它们往往是随时间变化的复杂刺激/反应关系模式。因此，此类系统通常被称为反应系统。过去20年来，人们研究了许多反应系统建模结构。这里，我们介绍几个关键模型。它们都有一个共同点，那就是它们依赖于原子作用的概念，而原子作用是定义系统行为的基础。这些模型的主要区别在于所代表的系统行为特征。有些模型比其他模型更抽象，这一事实经常用于对模型的可表达性进行非正式分类。我们的目标之一是呈现模型的主要代表，涵盖从最抽象到最具体的景观，并通过明确表示在模型之间移动所涉及的抽象步骤，将其关系的性质形式化。在接下来的课程中，范畴理论是一种将模型之间的关系形式化的方便语言。关于整个系列，请参见[Zbl 0894.00050号]. 引用于7文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68问题55 计算理论中的语义学 关键词：无功系统 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel}和\textit{M.Nielsen}，出版。牛顿研究所14，299--354（1997；Zbl 0919.68046）