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