A.W.罗斯科。 CSP对于\（\pi\）来说足够有表现力。 （英语） Zbl 1215.68159号 克利夫·琼斯（编辑）等人，《对C.A.R.霍尔作品的反思》。大多数论文基于2009年4月在英国剑桥举行的托尼·霍尔75岁生日庆祝会上的演讲。伦敦：施普林格出版社（ISBN 978-1-84882-911-4/hbk；978-1-848 82-912-1/电子书）。371-404 (2010). 摘要：最近的结果表明，Hoare的CSP加上一个额外的运算符，可以用一种新的表示法来表示操作语义可表达的每个运算符，因此是“类CSP”的。本文表明，（pi）-演算适合这个框架，因此具有CSP语义。我们没有依赖于早期结果的机制，而是从头开始开发了一个更简单的版本，它避免了额外的运算符，并且对于（pi）-演算来说已经足够了：一个非常通用的重标记运算符，用其他运算符表示。我们为新名称的语义提供了许多不同的选项，展示了它们如何给出彼此基本一致的语义。最后，我们开始研究如何分析和利用这些新语义。有关整个系列，请参见[Zbl 1200.68012号]. 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 第68季度55 计算理论中的语义学 关键词：\（\pi\）-微积分;\（\pi\）-微积分 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}，摘自：对C.A.R.Hoare作品的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：施普林格。371——404（2010年；兹比尔1215.68159） 全文： 内政部