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

在本研究中，我们开发了一种实用的基于环境演算的程序设计语言。开发的语言具有几个易于程序员理解的直观功能：圆周率演算的通道通信、使用词法作用域名称标识远程位置以及动态绑定的句法区分构造。此外，我们还开发了底层环境演算的执行框架和通用实现技术，以便在广域分布式环境中正确执行其程序。

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.