王栩 中国科学院软件研究所计算机科学开放研究实验室北京 100080
黄涛 中国科学院软件研究所计算机科学开放研究实验室北京 100080
冯玉琳 中国科学院软件研究所计算机科学开放研究实验室北京 100080
介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较它没有采用基于π-演算进行扩充的方法而是以一种带资源的类λ-演算为核心发展而来.这使得它可以直接支持内存单元式的资源而不是间接地通过进程/通道来模拟.进一步地资源域语言还对“位置”的概念进行了特殊的处理产生了“域”的概念.域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充提供了描述分布移动系统的一种新途径.其主要特点包括：易于实现和更接近实际语言(如ObliqTelescript