首页> 中文期刊> 《软件学报》 >元Chi进程互模拟等价的一致性

元Chi进程互模拟等价的一致性

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模拟等价关系.

著录项

来源
《软件学报》 |2001年第12期|1793-1800|共8页
作者
林敏; 傅育熙;
展开▼
作者单位

上海交通大学计算机科学与工程系;

上海交通大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
进程代数; 移动进程; 互模拟;

相似文献

中文文献
外文文献
专利

1. 连续时间Markov决策过程互模拟等价及逻辑保持 [J] . 黄镇谨 ,陆阳 ,杨娟 . 控制理论与应用 . 2016,第008期
2. 互模拟及其与模态等价之间的关系 [J] . 杜平 ,姚从军 . 毕节学院学报 . 2013,第008期
3. 绿色评价模型的互模拟等价及逻辑保持 [J] . 钮俊 ,曾国荪 ,王伟 . 计算机学报 . 2013,第005期
4. 多项式程序模型的互模拟等价 [J] . 邓辉 ,吴尽昭 . 北京交通大学学报 . 2011,第005期
5. 同构、P-态射、互模拟与模态等价性 [J] . 姚从军 . 西南大学学报（社会科学版） . 2010,第002期
6. 基于语言等价关系化简Büchi自动机的算法研究 [C] . 易锦 ,郭涛 ,黄永刚 . 第二届信息安全漏洞分析与风险评估大会 . 2009
7. 无限状态系统上分支互模拟等价验证 [A] . 尹强 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号