邓鹏辉
- 作品数：3 被引量：0H指数：0
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- May测试语义前同余性的研究
- 2016年
- 在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余性进行研究。
- 邓鹏辉张晋津
- 关键词：进程代数
- CLT树型指称语义的研究
- 2016年
- 在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing(CLT)语义,service must-testing(SVR)语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的研究。但关于CLT语义的指称语义并未涉及,本文将基于此语义,通过建立标准型的方法,对此语义的树型指称语义进行研究。
- 邓鹏辉张晋津
- 关键词：进程代数指称语义
- CLT含递归算子的最大前同余性
- 2016年
- 进程之间的等价关系或精化关系的同余或前同余性(congruence或precongruence)是组合式推理和模块化设计验证的理论基础。针对面向Web Service的进程演算,Bernardi和Hennessy提出了Client-Must-Testing(CLT)语义及相关的测试前序ㄈ用于描述进程的精化关系,并对包含于的最大前同余关系+进行了研究。递归算子是规范理论中重要而且是基础性的算子,Bernardi和Hennessy对包含于的最大前同余关系的研究中未涉及递归算子,因此不能描述进程的无限行为。文中研究了CLT诱导出的精化关系在包含递归算子情形下的前同余性。在讨论了环境(context)、递归进程以及一步转换内在联系的基础上,给出包含于的最大前同余关系。
- 邓鹏辉张晋津
- 关键词：进程代数递归算子
