论文部分内容阅读
Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模拟等价关系.
元Chi进程互模拟等价的一致性
【摘 要】
：
Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
2001年12期
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)
其他文献
本文论述了离合器的系统模型，分析了离合器接合过程中两个性能评价指标——冲击度、滑摩功。确定了离合器接合量和接合速度作为控制对象，并得出了“快-慢-快”的接合控制规律。
提出一种基于图像绘制 (image- based rendering,简称 IBR)的算法 ,以发挥图形卡的纹理映射功能 ,并能表现物体表面的三维凹凸细节 .首先将深度图像的像素按其相关深度分为多层纹理图像 ,然后利用纹理映射的硬件支持 ,将这些层次纹理图像依次投影到与视点相关的成像面上 ,以得到所需目标图像 .为了避免目标图像上出现空洞 ,在生成时 ,将纹素在深度层次上进行扩展 .由于层次纹理图
提出了一个基于状态和变化的统一时空数据模型SCUDM(state and change based unified spatio-temporial data model).时空数据库的状态是关于对象、空间和时间的三元组,时空