非对称Chi-演算的符号互模拟[EB/OL]
北京：中国科技论文在线
同时给出该演算的符号操作语义及其符号开互模拟
最后证明该演算的开互模拟关系与符号开互模拟关系是等价的
定义该演算的开互模拟关系
本文在给出非对称chi-演算的语法和转移语义的基础上
非对称chi-演算
符号互模拟
） 摘要： 非对称chi-演算是一种移动计算模型
【详情见下载】非对称Chi-演算的符号互模拟Symbolic Bisimulations In Asymmetric chi-Calculus
3997
来源：
Licence：
联系：
分类：
平台：
环境：
大小：
更新：
标签：
免费下载
×
温馨提示
请用电脑打开本网页，即可以免费获取你想要的了。
