论文部分内容阅读
本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。
集成CCS和B语言的形式化方法
【摘 要】
：
本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、
【机 构】
：
华侨大学信息学院,洛阳师范学院计算机系
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年11期
【基金项目】
：
华侨大学高层次人才科研启动基金资助项目
其他文献
在一年一度的俄罗斯远东边境城市海参崴最大的节日——俄罗斯海军节的头一天,我随自贡市边贸考察团来到了这里。
本文利用UML设计有限元后处理系统的框架模型,形成自带图形环境、能在多种集成开发环境中使用的统一功能性框架.该功能性框架通过分离图形处理和图形表现之间的关系,隐藏图形
近来来,我国农村土地制度的弊端及其改革问题已经受到普遍重视,但在改革的思路和设想方面却存在较大分歧.本文认为,我国农村土地制度创新的方向是"股份所有、租赁经营".现行
加强四个引导推动非公经济健康发展蒋道武改革开放以来，非公有制经济作为市场经济的先行者，在发展社会生产力，优化经济结构，繁荣市场，改善人民生活，增加财政收入，扩大就业等方面发挥
党的十五大使非公有制经济迎来了蓬勃发展的春天，全国人大九届二次会议通过的《宪法修正案》以国家根本大法的形式保障了它和其他经济成份平等共存，非公有制经济的发展自此跨入
<正> 财政补贴是国家根据一定时期社会政治、经济的需要,凭借国家财政的力量,以社会产品再分配的形式,对居民、企业及事项给予必要的资金补助.掌握和实施财政补贴的主体只能
甲午年伊始,我前往阔别了两载的天津医学图书馆,走进阅览室,一个熟悉的学者身影唤回了我的记忆：两年前的壬辰春日,就在这方四壁皆书的空间,有幸结识了他：我国经尿道手术的开山
<正> 一、国际分工态势与我国优势探讨我国工业部门结构的调整对策,必须把它放到一定的外部环境中,这就是国际分工环境.从80年代中期中开始,国际分工格局正在发生着很多明显