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

在这项研究中，我们开发了一个实用的基于ambientcalculus的编程语言。开发的语言有几个直观的功能，易于理解的程序员：通道通信的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.