【摘 要】
：
介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充的方法,而是以一种带资源的类λ-演算为核心
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家自然科学基金
论文部分内容阅读
介绍了一种带有Agent移动的分布计算形式化语言——资源域语言.与分布移动计算中的同类工作相比较,它没有采用基于π-演算进行扩充的方法,而是以一种带资源的类λ-演算为核心发展而来.这使得它可以直接支持内存单元式的资源,而不是间接地通过进程/通道来模拟.进一步地,资源域语言还对“位置”的概念进行了特殊的处理,产生了“域”的概念.域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充,提供了描述分布移动系统的一种新途径.其主要特点包括：易于实现和更接近实际语言(如Obliq,Telescript
其他文献
上海市在加快调整产品结构中,对上海技术工人的水准提出了更高的要求,需要以超常规速度从年轻的技术工人中培养一批高级工和技师、高级技师。
本文讨论了有关远程教学中的同步机制,从多媒体同步和同步传输两个方面进行了分析,并借助Petri网理论进行了模型描述.
企业技工教育是为企业培养技术人才的摇篮,多年来,它随着企业的发展而繁荣壮大。然而,由于多年发展的技工教育已形成规模,在转轨过程中显得船大难掉头,因而出现了一些困难和
本文总结了前人对双酰基脲化合物生成机理的研究,结合自己对该类化合物的研究,进一步探讨了对称双酰基脲类化合物的另一种生成机理,并用MS,IR,1HNMR和元素分析对目标化合物进
讨论基于基因组翻转距离的星型进化树问题的算法和复杂性，首先证明星树问题是NP－难解的，再证明该问题不存在绝对近似求解算法，最后给出一个求解星树问题的常数近似算法，近似性能比
启发式教学原则认为学生是教学过程的参与者和主人,其显著特点是教师要充分调动学生学习的积极性和主动性,重视培养学生勤于思考,善于分析的能力.在教学方法的具体运用上,强
重庆五一技工学校继挂牌改建成立高级技工学校之后,提出“一年起步,五年创办一流高级技校”的发展目标。为了提高学生毕业后的就业竞争力,学校十分重视学生的实习操作技能训
班主任是联系学校与学生的桥梁和纽带,是贯彻执行学校的各项决议,对学生进行思想教育的最基层的领导者。莱阳市技工学校狠抓了对班主任的管理,促进了校风校纪的根本改观。 一