May测试语义前同余性的研究  

作　　者：邓鹏辉[1] 张晋津[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院

出　　处：《电子世界》2016年第7期101-102,共2页Electronics World

基　　金：国家自然科学基金(编号:11426136;60973045);江苏省高校自然科学基金(编号:13KJB520012)

摘　　要：在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它们的前同余性以及公理系统进行了研究。但是关于may-testing语义并未涉及,本文将对可能测试语义的前同余性进行研究。

关 键 词：进程代数 并发行为 may-testing语义 前同余性 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]