Π-演算

作品数：39被引量：43H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李舟军傅育熙曹木亮林惠民吴智铭更多>>
相关机构：上海交通大学国防科学技术大学中国科学院软件研究所湖南师范大学更多>>
相关期刊：《上海交通大学学报》《韶关学院学报》《浙江师范大学学报（自然科学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金湖南省自然科学基金国家高技术研究发展计划湖南省重点科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种扩充的π-演算及事务性等价关系研究被引量：3
《计算机研究与发展》2010年第3期541-548,共8页袁敏 黄志球 曹子宁 肖芳雄 
国家自然科学基金项目(60873025);湖南省自然科学基金项目(09JJ3114);湖南省教育厅重点基金项目(08A064)
为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过...
关键词：WEB服务 Π-演算 膜活动 等价事务 互模拟 
ABC转运器的π-演算模型及其验证
《计算机研究与发展》2008年第z1期118-123,共6页张红 刘磊 
吉林省科技发展计划基金项目(20050527)
将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分析了其基于状态迁移规则的动态行为演变和构象变化过程,并用自动验证π-演算、通信系统演算CCS的移动工作...
关键词：进程代数 Π-演算 系统生物学 ABC转运器 
移动Agent计算理论和形式化方法研究被引量：1
《计算机研究与发展》2006年第z1期274-278,共5页杨博 黄晶 刘大有 
国家自然科学基金项目(60503016,60496321)
研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较...
关键词：移动AGENT Π-演算 环境演算 进程代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部