首页
|
本学科首页
官方微博
|
高级检索
全部专业
非线性科学
系统科学
学报及综合类
自然科学丛书、文集、连续性出版物
自然科学教育与普及
自然科学理论与方法论
自然科学现状及发展
自然科学研究方法
按
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目英文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
检索
并发计算的元模拟:Ⅴ.并发模型间的关系
引用本文:
傅育熙.并发计算的元模拟:Ⅴ.并发模型间的关系[J].上海交通大学学报,2000,34(7):864-867.
作者姓名:
傅育熙
摘 要:
讨论pi演算和chi演算之间的关系问题,通过构造从pi演算到chi演算的翻译,证明了chi演算的表达能力不亚于pi演算。该翻译保持操作性质和开互模拟等价的代数性质。
关 键 词:
并发计算
进程代数
互模拟
并发模型
pi演算
本文献已被
维普
等数据库收录!
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号