期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
May测试语义前同余性的研究
下载PDF
职称材料
导出
摘要
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余性进行研究。
作者
邓鹏辉
张晋津
机构地区
南京航空航天大学计算机科学与技术学院
出处
《电子世界》
2016年第7期101-102,共2页
Electronics World
基金
国家自然科学基金(编号:11426136
60973045)
江苏省高校自然科学基金(编号:13KJB520012)
关键词
进程代数
并发行为
may-testing语义
前同余性
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
5
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
5
1
Nicola D,Hennessy M.Testing equivalences for processes[J].ELSEVIER,1983,34(1-2):83-133.
2
Hennessy M.Algebraic Theory of Processes[J].MIT Press,1988,1-272.
3
Castagna G,Gelbert N,Padovani L.A theory of contracts for web services[J].ACM Trans.,2009,31(5):1-61.
4
Bernardi G,Hennessy M.Mutually testing processes[J].ACM,2015,11(2:1):1-23.
5
Milner R.Communication and Concurrency[J].Prentice Hall,1989,1-260.
1
邓鹏辉,张晋津.
CLT含递归算子的最大前同余性[J]
.计算机技术与发展,2016,26(9):143-148.
2
邓鹏辉,张晋津.
CLT树型指称语义的研究[J]
.电子世界,2016,0(6):137-139.
3
杨建军,陈卫东,叶澄清,潘云鹤.
基于测试语义的VB语言分析器的设计和实现[J]
.计算机科学,2000,27(11):13-16.
被引量:1
4
杨建军,陈卫东,叶澄清,潘云鹤.
面向上下文无关语言的测试工具的设计和实现[J]
.计算机研究与发展,2000,37(11):1375-1381.
被引量:8
5
李勇坚,何积丰,孙永强.
Verilog操作语义研究[J]
.软件学报,2002,13(10):2021-2030.
被引量:4
6
Mus电脑鼠标[J]
.科技新时代,2005(11):104-104.
7
陈丽娜,苗春雨,赵建民.
Statechart描述的测试语义和测试用例自动生成[J]
.西南大学学报(自然科学版),2011,33(5):143-150.
被引量:1
8
事件[J]
.多媒体世界,2007(4):141-144.
9
徐贤.
带Mismatch算子的高阶π演算[J]
.软件学报,2014,25(11):2433-2451.
10
刘勇.
音乐管理出新品 Yahoo! Music Engine[J]
.电脑迷,2006,0(18):69-69.
电子世界
2016年 第7期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部