论文部分内容阅读
π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字.通过实例说明这一优化技术可大大减少所用的时间和空间,并证明了优化算法的正确性.
π—演算互模拟判定算法的优化和实现
【摘 要】
：
π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该技术基于只将输入名字实例化为在以后的等名
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室
【出 处】
：
软件学报
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金
其他文献
本文针对中学生的心理特点进行分析，阐明了班主任在开展心理健康教育时，应保持良好的心态，特别是在日常教育管理学生的工作中，要遵循“心育”的原理，坚持“心育”原则，贯彻“心育”
目的探究奥希替尼在治疗表皮生长因子受体酪氨酸激酶抑制剂(epidermal growth factor receptor tyrosine kinase inhibitors,EGFR-TKIs)耐药后T790M突变阳性的晚期非小细胞肺
2008年以来，由于受全球金融危机的影响，国内外企业无不高度重视这场关乎企业生死存亡的危机……在此紧要关头，作为企业管理者又该采取哪些措施来应对这场危机以拯救企业于水火呢
过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前
为了保证航空兵作战和训练任务的完成，在经费一定的情况下，如何进行合理的航材储备，即如何确定合理的订货点和订货数量是问题的关键。基于批量订购存储模型在一定条件下可以解决
摘要：职业院校服装专业的具体实践说明，基于“任务驱动”教学模式的项目教学法是职业教育专业课程行之有效的教学方法， 关键词：建构主义；任务驱动：项目教学 为了提高职业教育的教学质量与办学效率，培养高质量的职教人才，我国的职业院校都在积极探索课程改革的突破口，对教学模式的研究以及学科课程的项目化已经成为职业院校课程改革的主要方向。依托服装专业的三大专业课程——《服装成衣设计》、《服装结构设计》