注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Pi演算经典入门教程1

  2. A Calculus of Mobile Processes 1

  3. 所属分类：专业指导

    • 发布日期：2009-12-31
    • 文件大小：340992
    • 提供者：vosar

  1. PI演算经典入门教程2

  2. A Calculus of Mobile Processes 2

  3. 所属分类：专业指导

    • 发布日期：2009-12-31
    • 文件大小：272384
    • 提供者：vosar

  1. web服务组合的验证

  2. web服务组合的验证，利用pi演算。。。。。。。。。。。。

  3. 所属分类：Web开发

  1. first-order and higher-order paradigms.pdf

  2. pi演算作者当年的博士论文，值得一看！详细地介绍了pi-演算！pi演算作者当年的博士论文，值得一看！详细地介绍了pi-演算！pi演算作者当年的博士论文，值得一看！详细地介绍了pi-演算！

  3. 所属分类：专业指导

    • 发布日期：2010-05-04
    • 文件大小：10485760
    • 提供者：qinh1985

  1. communicating and mobile systems: the pi-calculus

  2. 此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。

  3. 所属分类：专业指导

    • 发布日期：2010-08-06
    • 文件大小：6291456
    • 提供者：princess00

  1. pi演算介绍.pdf

  2. 介绍如何应用pi演算进行推演，给出了并行计算的一个案例

  3. 所属分类：其它

    • 发布日期：2011-04-27
    • 文件大小：608256
    • 提供者：newsong_2011

  1. 用Pi演算为业务过程建模的生命周期

  2. 介绍了利用pi演算进行业务过程建模的框架及各个阶段使用的工具和技术。

  3. 所属分类：其它

    • 发布日期：2011-05-23
    • 文件大小：279552
    • 提供者：cnn19870418

  1. 基于PI演算的移动通信服务研究与建模

  2. 使用Pi演算对移动通信服务进行研究和建模

  3. 所属分类：其它

    • 发布日期：2011-05-23
    • 文件大小：960512
    • 提供者：cnn19870418

  1. pi演算综述

  2. 很好的pi演算资料，用于模型检测，形式化语言等领域

  3. 所属分类：专业指导

    • 发布日期：2011-11-20
    • 文件大小：1048576
    • 提供者：fengxinyue5

  1. 基于Pi运算的相关资料

  2. 基于Pi演算的构件演化研究 基于Pi演算的网构软件组装与演化框架 基于SOA的服务组合机制研究 应用Pi演算描述工作流高级模式 基于Pi演算的SDLO学习服务建模研究

  3. 所属分类：专业指导

    • 发布日期：2013-08-13
    • 文件大小：7340032
    • 提供者：hyuuuu

  1. Milner-多值pi演算

  2. 关于多值pi演算的权威资料，对pi演算进行了扩展，很有意义

  3. 所属分类：专业指导

    • 发布日期：2008-10-06
    • 文件大小：625664
    • 提供者：jacktao6502

  1. distributed_pi_calculus

  2. 分布式pi演算是一本很好很好的书，值得一看。

  3. 所属分类：讲义

    • 发布日期：2014-06-26
    • 文件大小：2097152
    • 提供者：plutohb2002

  1. pi-calculus

  2. Robin milner的pi演算介绍，作者是图灵奖的获得者。

  3. 所属分类：专业指导

    • 发布日期：2008-11-05
    • 文件大小：24576
    • 提供者：button1314

  1. 基于pi演算的软件体系结构形式化研究 任洪敏

  2. 基于pi演算的软件体系结构形式化研究 任洪敏 phd

  3. 所属分类：讲义

    • 发布日期：2017-01-22
    • 文件大小：4194304
    • 提供者：jiangdmdr

  1. 缓冲Pi演算：并发语言的模型

  2. 缓冲Pi演算：并发语言的模型

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：249856
    • 提供者：weixin_38739942

  1. 有限概率pi演算的测试预检的特征

  2. 我们考虑了可能且必须测试有限pi演算的概率扩展的两个特征：一个基于概率弱模拟的概念，另一个基于Milner-Parrow-Walker模态逻辑的片段的概率扩展pi演算。 我们基于先前的概率CSP工作中使用的类似概念来建立模拟概念。 但是，与CSP（或其他不传递值的演算）不同，概率pi演算有几种可能的模拟定义，这是通过对名称量化进行范围划分的不同方式得出的。 我们表明，为了捕获测试先决条件，需要使用“最早的”仿真关系（类似于在非概率情况下的早期（bi）仿真的概念）。 两种表征中的关键思想是概率过程

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：434176
    • 提供者：weixin_38607195

  1. 结合Petri网和Pi演算的协同业务过程建模

  2. 结合Petri网和Pi演算的协同业务过程建模

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：2097152
    • 提供者：weixin_38731075

  1. 应用Pi演算的开放方法

  2. 提出了开放双仿真的概念应用Pi演算，它扩展了π演算，以便有助于分析安全协议。 我们的概念基于标记的过渡系统，并需要知识在安全协议中建立知识模型的开放方法。 它显示出对标记的双相似性是合理的，并且是一致的关系。 作为运行示例，我们分析两个电子商务协议，即iKP和弗格森的电子现金协议，由Applied Pi和开放双相似性提供。

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：168960
    • 提供者：weixin_38557530

  1. 基于Pi演算的软件可信性度量方法

  2. 基于Pi演算的软件可信性度量方法

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：483328
    • 提供者：weixin_38732912

  1. 基于Pi演算的跨组织工作流建模研究

  2. 传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：803840
    • 提供者：weixin_38704922
« 12 3 »