文献检索-宁波市创意产业特色资源库

限定检索结果

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

限定检索结果