戴维·桑吉奥吉;安德烈亚·瓦伦特 用于安全环境的分布式抽象机（扩展抽象）。 （英语） Zbl 0986.68511号 Orejas，Fernando（编辑）等人，《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2076, 408-420 (2001). 摘要：环境演算是一种用于移动分布式计算的模型。环境是运动的单位。同一环境中的进程可以交换消息；环境可以嵌套，以形成层次结构。移动的三个原语允许：一个环境进入另一个环境，（n[\text{in}m.P|Q]|m[R]\longrightarrow m[n[P|Q]| R]\）；退出另一个环境的环境，\（m[n[\text{out}m.P|Q]|R]\longrightarrow n[P|Q]| m[R]\）；溶解环境边界从而访问其内容的过程，\（text{open}n.P|n[Q]\longrightarrowP|Q\）。最近出现了几项关于环境微积分基本理论的研究，涉及行为等效性、类型、逻辑、静态分析技术等。相比之下，很少关注实现。我们只知道Cardelli、Fournet、Lévy和Schmitt实现了ambients。后者是唯一的分布式实现，它将环境转换为分布式连接演算。虽然很巧妙，但这些实现用于模拟环境减少的算法相当复杂。关于整个系列，请参见[Zbl 0967.00069号]. 引用于5文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） PDF格式BibTeX公司 XML格式引用 \textit{D.Sangiorgi}和\textit{A.Valente}，莱克特。注释计算。科学。2076408--420（2001年；Zbl 0986.68511） 全文： 链接