多义pi-Calculus:教程

罗宾·米尔纳

摘要：pi-calculus是并发的模型基于概念的计算命名.这是第一次在几个示例应用程序。然后将其从一元的到多元的形式。语义是按术语完成的还原系统和标记跃迁的版本打电话承诺; 已知的代数公理化在新的设置中给出了强相似性模态逻辑中的特征。关于复制证明了算子。

概念提供了多元形式的理由属于分类,排序和排序规则哪一个支架。给出了几种不同分类的图示。一个例子是将数据结构表示为过程尊重特定分类；另一个是排序已知的lambda-calculus到pi-calculos的翻译。对于这个翻译，贝塔转换的等式有效性是用复制定理证明。论文结尾为pi-calculus的一个推广w个-订单流程，以及Davide Sangiorgi演示的简要说明高阶过程可以一阶忠实地编码。这扩展并加强了给定的此类原始结果Bent Thomsen的二阶过程。

LFCS报告ECS-LFCS-91-180标准

本报告发表在F.L.Hamer、W.Brauer和H。Schwichtenberg，编辑，逻辑与代数规范Springer-Verlag出版社，1993年。

上一个|索引|下一步