首页 | 本学科首页   官方微博 | 高级检索  
     检索      

并发计算的元模拟:Ⅴ.并发模型间的关系
引用本文:傅育熙.并发计算的元模拟:Ⅴ.并发模型间的关系[J].上海交通大学学报,2000,34(7):864-867.
作者姓名:傅育熙
摘    要:讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。

关 键 词:并发计算  进程代数  互模拟  并发模型  pi演算
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号