【摘 要】
：
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing（CLT）语义,service must-testing（SVR）语义用于描述进程的
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金11426136,60973045, 江苏省高校自然科学基金13KJB520012
论文部分内容阅读
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing（CLT）语义,service must-testing（SVR）语义用于描述进程的精化关系,并对SVR的前缀封闭集以及树型指称语义进行了的研究。但关于CLT语义的指称语义并未涉及,本文将基于此语义,通过建立标准型的方法,对此语义的树型指称语义进行研究。
其他文献
在应对气候变化背景下研究我国林业碳汇市场问题,阐述不同交易机制下林业碳汇项目的基本情况、实施流程和发展现状,提出当前林业碳汇市场存在的主要问题,研究提出＂明确碳汇项
目前人人乐超市成都新华店风味食品街在一场四川绝活变脸表演中正式开街，四川著名食品品牌“徽记”的“好巴食坊”也在这一天正式落户，并以其极富地方特色的装修和巨大的川剧脸
研究了液熏鲟鱼片的加工工艺及其对品质的影响,以期为液熏鲟鱼片产品开发提供理论指导。从烟熏液种类、烟熏液质量分数、液熏时间和干燥时间4个方面对烟熏鲟鱼片的工艺进行了
破碎文件的拼接和修复复原在很多的领域都起着极为重要的作用,人工拼接准确率虽高但效率极低,尤其在碎片量大但时间又紧的情况下,如何建立高效准确的拼接方法显得尤为重要。因此利用计算机技术建立计算机自动拼接技术来提高拼接复原的效率具有重要的意义。本文利用MATLAB软件将图片转化为灰度值矩阵。利用相关系数的有关原理用MATLAB编写程序。建立边缘灰度相关性模型ρ_(max)=max(Ea_iEb_i-Ea
会计受制于其所处的社会经济环境，但也在一定程度上推动经济发展。在创新主导型经济环境下，会计成为影响企业自主创新的重要因素之一，从自主创新视角研究会计问题日益受到会计学
随着科技技术水平的不断发展,计算机技术也在飞跃式的发展和成熟。计算机网络数据库安全技术是在传统的计算机网络数据库安全技术之上形成的一种技术,主要是用于保护计算机网
现阶段房地产市场绩效发展面临下行压力,这源自于产业内部的市场行为和外部宏观调控因素所致,这对房地产公司的发展和扩张形成一定压力。基于此,房地产公司开始纷纷探寻财务
电力企业是关系国计民生的重要基础保障部门,为了更好地促进电力产业的发展,减少对电能的浪费,加之全电子式电能表的在防窃电方面的突出优势,我国已经基本实现了全国范围内的
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
目的:探讨腹腔镜广泛子宫切除联合淋巴结清扫在宫颈癌治疗中的临床疗效。方法:以本院收治的147例宫颈癌患者为研究对象,根据不同手术方案将受试者分为对照组74和研究组73例,