中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	面向安全协议的移动进程演算的符号化理论学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 刘佳 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/11/25 符号化语义，符号化互模拟，证明系统, applied pi-演算
	时间符号迁移图及其互模拟判定期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 2, 页码: 113-121 陈靖; 林惠民 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/08/24 并发实时系统数据传送互模拟时间符号迁移图 concurrency real-time system value-passing bisimulation timed symbolic transition graph
	带赋值符号迁移图的局部优化算法期刊论文 OAI收割计算机研究与发展, 2000, 卷号: 37, 期号: 1, 页码: 95 方海; 许文; 林惠民 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/08/24 进程代数传值进程符号互模拟验证算法