邓鹏辉

作品数：3被引量：0H指数：0
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：进程代数CLTT-TESTMUSMAY更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机技术与发展》《电子世界》更多>>
所获基金：江苏省高校自然科学研究项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CLT含递归算子的最大前同余性
《计算机技术与发展》2016年第9期143-148,共6页邓鹏辉 张晋津 
国家自然科学基金资助项目(11426136;60973045);江苏省高校自然科学基金(13KJB520012)
进程之间的等价关系或精化关系的同余或前同余性(congruence或precongruence)是组合式推理和模块化设计验证的理论基础。针对面向Web Service的进程演算,Bernardi和Hennessy提出了Client-Must-Testing(CLT)语义及相关的测试前序ㄈ用于...
关键词：进程代数 must-testing语义 精化关系 递归算子 最大前同余 
May测试语义前同余性的研究
《电子世界》2016年第7期101-102,共2页邓鹏辉 张晋津 
国家自然科学基金(编号:11426136;60973045);江苏省高校自然科学基金(编号:13KJB520012)
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余...
关键词：进程代数 并发行为 may-testing语义 前同余性 
CLT树型指称语义的研究
《电子世界》2016年第6期137-139,共3页邓鹏辉 张晋津 
国家自然科学基金11426136;60973045;江苏省高校自然科学基金13KJB520012
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing(CLT)语义,service must-testing(SVR)语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的...
关键词：进程代数 并发行为 must-testing语义 指称语义 标准型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部