PI演算

作品数：73被引量：109H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郭小群郝克刚侯红李彤莫启更多>>
相关机构：吉林大学西北大学武汉大学云南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Pi演算对图灵机的表达被引量：2
《计算机工程与科学》2009年第10期53-55,共3页郝克刚 郭小群 
国家863计划资助项目(2007AA010305)
为了研究Pi演算的表达能力,我们试着用它来表达图灵机。研究结果表明,只要对Pi演算进行一定的的扩展,即引入某些函数符号,允许对发送的名字作一定的运算,就可以用Pi演算的规约来表达图灵机的运算过程。
关键词：PI演算 表达能力 图灵机 函数符号 
多播协议PI演算建模与MWB检测被引量：1
《计算机工程与科学》2008年第4期30-32,共3页张春永 李祥 
MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测,其中主要检测PIM_SM协议中的嫁接和剪枝等;讨论利用PI演算建模的一般方法以及怎样利用MWB工具软件检测模型。
关键词：PI演算 模型检测 多播 PIM_SM 协议 嫁接 剪枝 
Web服务组合语言的出错与补偿处理的pi演算编码
《计算机工程与科学》2007年第3期112-116,127,共6页高春鸣 黄邵 陈火旺 
湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并...
关键词：BPEL4WS PI演算 出错与补偿处理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部