期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
高阶π-演算的互模拟理论研究
原文传递
导出
摘要
标签转移系统语义在早期的进程演算中取得了巨大的成功。基于标签转移系统,Milner与Park引入了互模拟的概念来描述进程间的等价性,互模拟从此成为整个进程演算中的理论基石。在经典的CCS进程演算中,标签转移系统用于描述进程的操作语义,然后在此基础上,互模拟概念通过如下方式被定义出来:两个进程若互模拟,不仅要满足任何一方的行为都要能够被另外一方匹配。
作者
Yong-JianLi Xin-XinLiu
机构地区
LaboratoryofComputerScience
出处
《Journal of Computer Science & Technology》
SCIE
EI
CSCD
2004年第C00期21-22,共2页
计算机科学技术学报(英文版)
关键词
进程
互模拟
Π-演算
操作语义
系统
描述
CCS
高阶
等价性
匹配
分类号
TP301 [自动化与计算机技术—计算机系统结构]
TP316 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
张晋津,张严,朱朝晖.
(η,α)-互模拟的分层及判定算法[J]
.计算机工程与科学,2015,37(3):547-552.
2
张斌,张党进.
DAL中存储过程映射的分析与设计[J]
.现代计算机,2009,15(6):189-191.
3
杜玉华.
浅谈如何利用MATLAB仿真通信系统中的信息理论[J]
.中国校外教育,2012(6):130-130.
4
方金云.
空间计算技术与百姓生活[J]
.物理教学,2006,28(4):2-3.
5
吴晓明.
基于计算机视觉的机器人导航综述[J]
.实验科学与技术,2007,5(5):25-28.
被引量:3
6
郭华伟,施文康,邓勇,陈智军.
证据冲突:丢弃,发现或化解?[J]
.系统工程与电子技术,2007,29(6):890-898.
被引量:55
7
王向卫.
基于网络的Auto CAD图形协同设计研究与探讨[J]
.计算机光盘软件与应用,2014,17(6):268-269.
8
刘坤彪,程旭东,陈铭.
基于CSS的标准网页布局设计[J]
.南阳理工学院学报,2012,4(6):23-28.
被引量:5
9
白彬.
从新公共管理的理论基石思考其内化于政府管理的认同危机[J]
.科技信息,2008(21):174-175.
被引量:1
10
周慧.
浅谈远程开放教育环境下双主体的建构[J]
.科技风,2015(22):206-207.
Journal of Computer Science & Technology
2004年 第C00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部