A Practical Ambient-calculus Based Language with High-level Communication/Migration Supports

在这项研究中，我们开发了一种实用的基于环境演算的编程语言。开发的语言有几个对程序员来说很容易理解的直观特性：pi演算的通道通信、具有词法作用域名称的远程位置标识，以及动态绑定的语法区分结构。此外，我们还开发了低级环境演算的执行框架和在广域分布式环境中正确执行其程序的一般实现技术。

In this research, we developed a practical ambientcalculus based programming language. The developed language has several intuitive features easily understandable to programmers : channel communication of the pi calculus, identification of remote locations with lexically scoped names, and syntactically distinguished constructs for dynamic bindings. Furthermore, we also developed execution frameworks of lower-level ambient calculus and general implementation techniques for correctly executing its programs in wide-area distributed environments.