论文部分内容阅读
本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义。提出了一种描述同步通讯的方法。在此基础上，描述了真正的分布式程序的执行。
Mini CSP语言的时态语义
【摘 要】
：
本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义。提出了一种描述同步通讯的方法。在此基础上，描述了真正的分布式程序的执行。
【机 构】
：
电子科技大学计算机系
【出 处】
：
计算机应用
【发表日期】
：
0年JSJY501.003期
【基金项目】
：
机电部预研基金
其他文献
引用和结合了国内外已经研究得比较成功的输电权交易模式，并在此基础上进一步结合输电阻塞管理各环节中经济性分析，对原有的模式进行了进一步的优化设计．提出了一种新的电力输电
结合处罚函数法及单纯形法对变径桩直径及扩大头直径进行优化设计，得出一定荷载下桩径的取值范围和最优结果，所编程序既可完成单一土层的优化，也可完成多种土层的优化，具有较高的
近年来针灸治疗急性痛风性关节炎取得了一定的进展,应用红外热像技术,使针对本病的中医辩证具有可视性,并为进一步总结针灸对其治疗规律提供临床客观依据.
11月23日，经江苏省质量技术监督局组织的专家组现场审核，富来威公司通过“标准化良好行为企业”确认。专家组听取了企业负责人关于企业基本情况以及公司标准化建设工作的汇报，通
结合工程概况,介绍了满堂脚手架方案,并对门式支架设计方案进行了阐述,最后对模板规格、施工中的注意事项及拆模、拆除支架等方面进行了论述,工程实践表明,该项技术优质快速
现场总线控制系统作为新一代控制系统在电力系统尤其是在自动化中得到了广泛的应用.介绍了现场总线中一种很有影响的控制局域网络CAN(Control Area Network)总线技术,设计出
通过勘探和土工试验揭示肇庆高新技术产业开发区沙沥工业园区规划道路所在区域的地质状况,分析其软弱土层工程力学性质,并提出有效的软基处理措施,可供类似工程参考。
介绍了沿海高速公路深层水泥搅拌桩设计标准及施工工艺,通过试验数据和沉降观察结果分析,证明设计、工艺的合理性和该技术用于加固软弱地基的良好效果。
根据CFG桩和夯实水泥土桩复合地基的承载机理和特性,提出了将两者结合起来共同加固地基的施工方案,并对其设计检查过程、施工工艺及技术要求进行了介绍,以解决地基承载力不足