元Chi进程互模拟等价的一致性
Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模拟等价关系.
进程代数、移动进程、互模拟
12
TP301(计算技术、计算机技术)
国家自然科学基金69873032;国家高技术研究发展计划863计划863-306 ZT06-02-2
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共8页
1793-1800