菲利普·加德纳;科西莫·拉内夫;卢西安·维希克 融合机（扩展摘要）。 （英语） Zbl 1012.68527号 Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2421, 418-433 (2002). 摘要：我们提出了一种新的类pi计算的分布式实现模型，该模型允许简单证明的强正确性结果。我们描述了分布式通道机器——Cardelli提出的机器的分布式版本。分布式通道机器在其通道（或位置）上对pi进程进行分组，与在pi进程中合并额外位置信息的更常见方法形成对比。我们接着描述融合机。它使用一种称为融合（fusions）的并发约束形式，即通道名称上的方程式，在远程通道之间分发这些过程的片段。这种分段避免了在位置之间移动大型延续，并导致了更高效的实现模型。关于整个系列，请参见[Zbl 0997.00031号]. 引用于10文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人，Lect。票据计算。科学。2421418--433（2002年；Zbl 1012.68527） 全文： 链接