鲁棒环境演算中的互模拟同余关系

摘要：

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进--鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明.

关键词：进程代数、环境演算、标号转移系统、互模拟

所属期刊栏目：41

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家重点基础研究发展规划973项目2002CB312002;国家自然科学基金60273034,60233010,60403014;国家863高科技项目2002AA116010;江苏省自然科学基金BK2002203,BK2002409

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：155-161