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

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

帮助

条数/页：排序方式：
	面向安全协议的移动进程演算的符号化理论学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 刘佳 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/11/25 符号化语义，符号化互模拟，证明系统, applied pi-演算
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 进程代数 Pi演算分布移动计算模态逻辑 Mu演算模型检测
	基于进程演算的主体理论及面向主体的软件开发方法研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000 焦文品收藏 \| 浏览/下载：24/0 \| 提交时间：2011/03/17 智能主体多主体系统面向主体的程序设计语言面向主体的软件分析与设计 pi 演算