Alan S.A.杰弗里。；朱利安·拉特克 重新讨论了高阶pi-calculus的上下文等价性。 （英语） Zbl 1125.68084号 日志。方法计算。科学。 1，第1期，论文4，22页（2005年）. 概要：高阶pi-calculus是pi-calcus的扩展，允许传递过程的抽象，而不仅仅是名称。Sangiorgi在他的论文中对其进行了深入研究，其中使用标记转换系统和正规互模拟提供了高阶pi-calculus上下文等价的特征。不幸的是，这里使用的证明技术需要限制语言只允许有限类型。我们重新审视了这一演算，并提供了标记转换系统的另一种表示方法和一种新的证明技术，它允许我们使用标记转换和具有递归类型的高阶pi-calculus的互模拟来提供上下文等价的完全抽象表征。 引用于1审查引用于12文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：灵活 PDF格式BibTeX公司 XML格式引用 \textit｛A.S.A.Jeffrey｝和\textit｛J.Rathke｝，日志。方法计算。科学。1，第1号，论文4，22页（2005年；Zbl 1125.68084） 全文： 内政部