CLT树型指称语义的研究  

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

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

出　　处：《电子世界》2016年第6期137-139,共3页Electronics World

基　　金：国家自然科学基金11426136;60973045;江苏省高校自然科学基金13KJB520012

摘　　要：在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing(CLT)语义,service must-testing(SVR)语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的研究。但关于CLT语义的指称语义并未涉及,本文将基于此语义,通过建立标准型的方法,对此语义的树型指称语义进行研究。

关 键 词：进程代数 并发行为 must-testing语义 指称语义 标准型 

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