摘要
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing(CLT)语义,service must-testing(SVR)语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的研究。但关于CLT语义的指称语义并未涉及,本文将基于此语义,通过建立标准型的方法,对此语义的树型指称语义进行研究。
出处
《电子世界》
2016年第6期137-139,共3页
Electronics World
基金
国家自然科学基金11426136
60973045
江苏省高校自然科学基金13KJB520012