论文部分内容阅读
讨论了为进行协议形式化描述而进行的CSP扩充问题.向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成.
通信顺序进程的扩充及其在协议形式化技术中的应用
【摘 要】
：
讨论了为进行协议形式化描述而进行的CSP扩充问题.向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步
【机 构】
：
中国科技大学
【出 处】
：
通信学报
【发表日期】
：
2004年2期
【基金项目】
：
自然科学基金重大研究计划项目(90104010);自然科学基金科学部主任基金资助项目(60241004);教育部博士点基金资助项目(2000035802);安徽省自然科学基金资助项目(01042208);国家“863”计划基金资助项目(2001AA112062和2001AA121016);中国科学院院长基金特别支
其他文献
独立董事背景是上市公司选聘独立董事的第一环节,对上市公司治理意义重大。不同的独立董事背景是否能促使股价同步性下降,两者的关系如何?产权性质不同是否影响两者关系?本文
大岩窝铅锌矿位于扬子准地台上扬子褶皱带中。通过收集、整理前人资料以及矿区采集的典型矿石样品,从矿石类型、组构特征、矿石化学成分、矿石矿物矿相学特征及矿物微量元素
目前,我国煤矿开采正在向智能化开采、无人化开采方向发展,煤矿安全专业的人才培养模式遇到了教材与现场偏差较大、专业方向单一,综合能力不足、学生实践能力不足等不适应的
目的探讨自拟补气益胃汤对脾胃气虚型活动性胃溃疡疗效。方法选取2018年1月-2019年1月在辽宁省大连市友谊医院中医科的80例脾胃气虚型活动性胃溃疡患者,随机分为试验组与对照
介绍了一种二极管箝位型五电平H桥逆变器，它以2个三电平桥臂构成H桥，可以方便地得到五电平相电压输出，结合移相变压器和12脉波整流器，形成了一种新的大功率变流器拓扑结构。针对
人类频繁的活动以及工业的发展,使得环境受到了一定程度的污染。在水质上,体现在固体物含量增多,水质变差。为了提高水的质量,活性污泥被广泛应用于水质的净化之中。但是,在
目的：采用功能磁共振成像技术（fMRI）,对优秀排球运动员和普通大学生运动决策过程中的神经机制进行研究,探讨多年的动作技能学习和运动训练对优秀排球运动员大脑神经机制产生的影
介绍‘伏脆蜜’枣的品种特点;从容器选择、基质配制、培养池建造、苗木栽植、整形修剪、日常养护等方面阐述‘伏脆蜜’枣小型盆栽的一般制作技艺。正常管理条件下,‘伏脆蜜’
目的探讨急性腰扭伤患者最佳的护理方法。方法选择2017年1月—2018年4月在医院治疗的116例急性腰扭伤患者作为护理对象,随机分为对照组和综合组两组。对照组患者采取常规护理