托马斯·格尔克；阿伦德·伦辛克 名字传递演算中的进程创建和完整序列合成。 （英语） Zbl 0911.68054号 Palamidessi，C.（编辑）等人，EXPRESS’97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第7、20页（1997年）。 摘要：本文介绍了以进程创建和顺序组合为特征的进程演算的基本理论，而不是更常见的并行组合和动作前缀，在这种情况下，通过传递通道名称来实现移动性。我们讨论了由移动性和顺序组合的交互引起的范围和名称绑定问题。名字的替换被集成为微积分中的一个语法操作符。我们提出了微积分的公理化理论，并通过互模拟等价证明了其正确性和完备性。有关整个系列，请参见[Zbl 0903.00061号]. 引用于2文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：进程演算；互模拟等效 软件：灵活 PDF格式BibTeX公司 XML格式引用 \textit{T.Gehrke}和\textit{A.Rensink}，in：EXPRESS'97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔。20页（1997年；Zbl 0911.68054） 全文： 链接