【摘 要】
：
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完备距离空间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的并发语义.针对目前交叠并发语义研
【机 构】
：
南京大学,软件新技术国家重点实验室,江苏,南京,210093解放军理工大学,指挥自动化学院,江苏,南京,210007;
论文部分内容阅读
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完备距离空间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的并发语义.针对目前交叠并发语义研究方法的问题和不足,首先在OCCAM/TOY的语法中引入了一类具体的原子语句,并从语义上考虑了原子语句的语义对整个程序语义的影响;其次,对于通常语义方法中合并处理的一对通信原语的一次通信分开处理,描述了单个通信步骤的语义及其对程序的影响.在构造语义域时,利用完备距离空间作为指称,讨论了在距离空间范畴中语义域议程的解的存在性;并且在定义语义函数时,保证了递归定义的语义函数的存在性.给出了OCCAM/TOY的完全意义上的并发指称语义,既体现了由于并发而导致的执行过程的不确定性,又反映了并发导致的执行效果的不确定性.
其他文献
二胡演奏是一门器乐演奏艺术,自刘天华先生把这门乐器引入高等学堂之后,百年来,二胡演奏体系在演奏者技能,技巧和音乐素质的研究方面,已经积累了大量行之有效的方法,在当今多
色彩设计是产品设计中的一个重要问题，通过产品色彩的变化可以增加产品的附加值和竞争力，提升品牌形象，提高企业经济效益。真正要做好一款色彩产品是一个系统工程，它贯穿于整个产
20世纪70年代开始，通过工业革命迅速发展的西方城市面临普遍衰退，时代的发展必然带来产业结构的转型与调整，基于这样的时代背景，为了解决城市衰落与经济衰退等问题，西方国家率先开
防外力破坏一直是电力线路安全的一个亟待解决的难题.本文采用仿真计算方法分析了线路关键特征量与空间磁场分布规律,建立了车辆作业臂与高压导线间动态距离反算的数学模型,
本文从现代雕塑的角度出发,深刻地阐述建筑雕塑化的涵义,并分析了建筑雕塑化产生的客观性,阐述了雕塑形象参与建筑创作的思维过程使建筑形成雕塑美的思维过程。作者详细介绍