Petri nets semantics ofπ-calculus

来源 :电气与电子工程前沿 | 被引量 : 0次 | 上传用户：yt2099

【作者】

：

【出处】

：

电气与电子工程前沿

【发表日期】

：

2008年3期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

期刊

简易的铣圈套铣速度慢，对稳定器、钻头等套铣困难或根本无法套铣。特殊铣圈是在原简易铣圈的基础上，进行力学分析，并参照金刚石钻头的布齿原理进行研制的。它克服了简易铣圈的强

期刊

期刊

农民

期刊

期刊

期刊

绿色农药

期刊

2005年7月6日至8日,全国教育科学“十五”规划教育部重点课题总课题组在上海师大附中举办了2005年评课与评优活动,来自全国各地子课题学校的130多名教师参加了此次活动.总课

期刊

期刊