Π演算

作品数：95被引量：196H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：梁爱南于振华黄贤明蔡远利李长云更多>>
相关机构：上海交通大学湖南工业大学吉林大学西安交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带Mismatch算子的高阶π演算
《软件学报》2014年第11期2433-2451,共19页徐贤 
国家自然科学基金-法国国家科研署联合项目PACE(61261130589;12IS02001);国家自然科学基金(61202023;61173048)
主要研究带mismatch的高阶进程演算的公理化问题.首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带mismatch的有限进程上的公理系统;最后,基于对开弱高阶互模拟...
关键词：公理化 互模拟 MISMATCH 线性 高阶 Π演算 进程演算 
Web服务行为兼容性的判定与计算被引量：29
《软件学报》2007年第12期3001-3014,共14页邓水光 李莹 吴健 邝砾 吴朝晖 
Supported by the National Key Technology R&D Program of China under Grant No.2006BAH02A01(国家科技支撑计划);the National Natural Science Foundation of China under Grant Nos.60603025;60503018(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z171(国家高技术研究发展计划(863));the Natural Science Foundation of Zhejiang Province of China under Grant No.Y105463(浙江省自然科学基金)
确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为...
关键词：WEB服务 服务行为 行为兼容 Π演算 进程 
Agent组织结构设计的一种形式语义被引量：13
《软件学报》2002年第3期447-452,共6页张伟 石纯一 
国家自然科学基金资助项目(6997302360173011)~~
Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象...
关键词：MAS AGENT 组织结构 形式语义 Π演算 抽象机 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部