论文部分内容阅读
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
通信顺序进程的证明规则
【摘 要】
：
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
【机 构】
：
华东化工学院,华东化工学院
【出 处】
：
计算机学报
【发表日期】
：
1990年5期
【基金项目】
：
国家自然科学基金
其他文献
结合桩基工程应用实例,介绍了水泥基渗透结晶型防水涂料的基本特性、工作原理及施工工艺,阐述了该材料施工中的技术要求以及注意事项。
前几天。笔者有幸参加一个企业的内部会议。这个企业是一个颇有前途的企业，规模不是很大，但发展的意愿很强烈。而且几个主要股东的思想比较统一。大有借着眼下历史机遇成就一番
纽约原油期货价格9月2日收盘大幅下跌5美元／桶以上．报109．71美元／桶．至5个月低点．与7月11日上触的147．27美元／桶记录高点相比下跌了26％。原因是飓风古斯塔夫对美国墨西哥湾沿岸原油钻
9月17日，第二届国际玉米产业大会在滨城大连召开。中国证监会主席助理姜洋、大连市副市长戴玉林、国家粮食局副局长任正晓、农业部总经济师张玉香及大连商品交易所（以下简称大
我国的建筑市场目前正处于快速发展时期，施工技术管理尤为重要。分析了当前建筑业的发展形势，阐述了建筑企业施工技术管理的必要性。论述了施工技术管理中存在的常见问题，并提出
就在去年的时候，一位热衷于电子商务应用的朋友想搞一个涉及农牧企业的互联网商务公司。笔者个人建议是：如果没做好长期奉献（精神上和资金上）的准备，你最好别做。因为农牧行业对互