塞德里克·Fornet;乔治·戈蒂尔 连接演算：一种分布式移动编程语言。 （英语） Zbl 1065.68071号 Barthe，Gilles（编辑）等人，《应用语义学》。2000年9月9日至15日，葡萄牙卡米尼亚，APPSEM 2000国际暑期学校。高级讲座。柏林：施普林格出版社（ISBN 3-540-44044-5）。莱克特。注释计算。科学。2395, 268-332 (2002). 摘要：在这些注释中，我们概述了连接演算、其语义和方程理论。连接演算是一种建模分布式和移动编程的语言。它的特点是明确的局部性概念，严格遵守局部同步，并直接嵌入ML编程语言。连接演算被用作几种分布式语言和实现的基础，例如JoCaml和函数网。本地同步意味着消息总是传送到一个设定的目的地，并且只有在到达该目的地后才能进行交互；这是高效实现所必需的。具体来说，连接演算使用ML的函数绑定和消息上的模式匹配，以声明的方式对这些同步进行编程。从形式上讲，该语言很大程度上得益于并发理论，它为声明和证明异步程序的属性提供了坚实的基础。由于几个显著的恒等式，过程等价理论在应用于连接演算时允许进行简化。我们证明了其中的几个恒等式，并认为连接演算的等价性可以合理地组织为五层层次结构，在表达性和证明技术之间进行一些权衡。我们描述了核心演算的移动性扩展，它允许对代理创建和迁移进行编程。我们简要介绍了如何将演算扩展到一方面模拟分布式故障，另一方面模拟加密协议。有关整个系列，请参见[Zbl 0993.00046号]. 引用于28文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68甲15 编程语言理论 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 第68季度55 计算理论中的语义学 软件：乔坎尔;皮克特 PDF格式BibTeX公司 XML格式引用 \textit{C.Fornet}和\textit{G.Gonthier}，莱克特。注释计算。科学。2395268--332（2002年；Zbl 1065.68071） 全文： 链接