pi-calculus,

本专辑为您列举一些pi-calculus,方面的下载的内容,pi-calculus等资源。把最新最全的pi-calculus,推荐给您,让您轻松找到相关应用信息,并提供pi-calculus,下载等功能。本站致力于为用户提供更好的下载体验，如未能找到pi-calculus,相关内容，可进行网站注册，如有最新pi-calculus,相关资源信息会推送给您。

阅读全文

pi-calculus,

: The Pi-Calculus：A Theory of Mobile Processes The Pi-Calculus：A Theory of Mobile Processes
评级：3 浏览量：107 收藏量：0 资源大小：17.51MB 上传时间：2017-07-19

: pi-calculus pi-calculus, process expressing, mobile processing
评级：0 浏览量：81 收藏量：0 资源大小：299KB 上传时间：2011-10-14

: CCS and Pi-calculus 系统地介绍了CCS和pi-calculus,适合初学者使用。
评级：5 浏览量：132 收藏量：0 资源大小：18.18MB 上传时间：2010-01-22

: pipl.js:PIPL - Pi-Calculus 编程库 - 原型演示 PIPL - Pi-Calculus 编程库 - 原型演示该演示是一个应用程序（1.0）。可以在上获得演示。语法 S := sequencesequence := ( ( send | read ) '.' )+ sequence_endsequence_end := '()' | parallel | choiceparallel ...
评级：0 浏览量：58 收藏量：0 资源大小：12KB 上传时间：2021-07-11

: communicating and mobile systems: the pi-calculus 此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。
评级：5 浏览量：126 收藏量：2 资源大小：6MB 上传时间：2010-08-06

: 论文研究-基于Pi-Calculus的跨组织工作流建模方法.pdf 首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外，利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效...
评级：0 浏览量：81 收藏量：0 资源大小：203KB 上传时间：2019-07-22

: A Pi-Calculus based Context-Aware Model for Web Service Composition A Pi-Calculus based Context-Aware Model for Web Service Composition
评级：0 浏览量：43 收藏量：0 资源大小：321KB 上传时间：2021-02-22

: the pi-calculus: a theory of mobile processes (缺页部分) 本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
评级：5 浏览量：142 收藏量：0 资源大小：509KB 上传时间：2010-08-06

: the pi-calculus: a theory of mobile processes [part1] 本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
评级：5 浏览量：127 收藏量：0 资源大小：10MB 上传时间：2010-05-04

: Communicating and Mobile Systems- the Pi-Calculus-0 Pi-Calculus introduction
评级：4 浏览量：51 收藏量：0 资源大小：56KB 上传时间：2011-10-19

: Communicating and Mobile Systems the Pi-Calculus Communicating and Mobile Systems the Pi-Calculus，经典书，内附阅读工具WinDjView
评级：4 浏览量：97 收藏量：0 资源大小：6.52MB 上传时间：2011-04-08

: the pi-calculus: a theory of mobile processes [part2] 本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
评级：5 浏览量：100 收藏量：0 资源大小：7.25MB 上传时间：2010-05-04

: 基于CPi-calculus的网格服务行为研究*) (2007年) 本文给出网格服务组合基调，基于此基调分析了网格组合服务的动态交互行为特性，提出基于CPi-calculus(Conditional Pi-calculus)的网格组合服务的行为交互模型(IABM)，并给出组合服务交互行为的形式化描述，
评级：0 浏览量：33 收藏量：0 资源大小：517KB 上传时间：2021-06-14

: FAQ on π-Calculus π-Calculus的入门材料,值得一读
评级：0 浏览量：71 收藏量：1 资源大小：196KB 上传时间：2010-11-23

: Pi Calculus for SOA-开源该项目将提供利用WS-CDL和Pi Calculus来构建更健壮的面向服务的体系结构（SOA）的工具。这些工具现已通过JBoss工具（版本> 3.2）发布（并受支持）：http://www.jboss.org/tools
评级：0 浏览量：47 收藏量：0 资源大小：28.47MB 上传时间：2021-05-03

: Pi Calculus Robin Milner Pi Calculus Robin Milner
评级：5 浏览量：68 收藏量：0 资源大小：4.77MB 上传时间：2010-06-10

: Web-Theory:包含带有 css 和 javascript 的 html 页面网络理论包含带有 css 和 javascript 的 html 页面
评级：0 浏览量：41 收藏量：0 资源大小：17KB 上传时间：2021-06-18

: PiET: Pi Calculus Equivalences Tester-开源 PiET是用于Pi演算的十项行为等效的验证工具。
评级：0 浏览量：105 收藏量：0 资源大小：274KB 上传时间：2021-04-28

: distributed_pi_calculus 分布式pi演算是一本很好很好的书，值得一看。
评级：0 浏览量：83 收藏量：0 资源大小：2.83MB 上传时间：2014-06-26

: mobile-kihart ：:รื่องมือสำหรับการออกหน่วยของโรงพยาบาลเกษม... 移动基哈特เครื่องมือสำหรับการออกหน่วยของโรงพยาบาลเกษมราษฎร์อินเตอร์เนชั่นแนลอรัญประเทศใช้ในการเก็บข้อมูลผ...
评级：0 浏览量：59 收藏量：1 资源大小：776KB 上传时间：2021-02-16

: Pi calculus versus Petri nets Pi calculus versus Petri nets
评级：4 浏览量：72 收藏量：1 资源大小：427KB 上传时间：2010-08-15

: Pi Calculus Robin Milner part2 Pi Calculus Robin Milner Part 2
评级：4 浏览量：71 收藏量：0 资源大小：1.24MB 上传时间：2010-06-10

: pierl:Erlang 中的异步 pi 演算可能你在谷歌上搜索/duckduckgo'ed/搜索（希望不是bing'ed）类似“pi-calculus erlang”的东西，也许你甚至不确定你在找什么。好吧，让我解释一下你会在这里找到什么。有很多尝试在 π 演算中对 Erlang 进行建模...
评级：0 浏览量：71 收藏量：0 资源大小：6KB 上传时间：2021-06-23

: Modeling and analysis of WTLS handshake protocol based on applied Pi calculus Modeling and analysis of WTLS handshake protocol based on applied Pi calculus
评级：0 浏览量：65 收藏量：0 资源大小：169KB 上传时间：2021-02-11

: 有限概率pi演算的测试预检的特征我们考虑了可能且必须测试有限pi演算的概率扩展的两个特征：一个基于概率弱模拟的概念，另一个基于Milner-Parrow-Walker模态逻辑的片段的概率扩展pi演算。我们基于先前的概率CSP工作中使用的类似概念来建立模拟概念...
评级：0 浏览量：196 收藏量：0 资源大小：424KB 上传时间：2021-03-26

: A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services
评级：0 浏览量：53 收藏量：0 资源大小：1.5MB 上传时间：2021-02-21

: 基于Pi_演算的Web服务组合的描述和验证基于Pi_演算的Web服务组合的描述和验证.pdf pi calculus web services
评级：0 浏览量：48 收藏量：0 资源大小：758KB 上传时间：2011-05-20

: A Calculus of Mobile Processes Part I and part II Milner大大的经典论文，Pi演算的完整论述。英文，不知道是否有哪位大侠有空翻译，先表谢意。
评级：0 浏览量：37 收藏量：0 资源大小：494KB 上传时间：2009-02-10

: Pi演算经典入门教程1 A Calculus of Mobile Processes 1
评级：4 浏览量：233 收藏量：0 资源大小：333KB 上传时间：2009-12-31

: a validating tool of BPEL programme-开源该项目为基于Pi-calculus以及BPEL和pi-calculus之间的转换的Web服务组合进行形式验证提供了一种工具。该工具集成了两种形式的验证技术，可以自动验证。
评级：0 浏览量：49 收藏量：0 资源大小：11.1MB 上传时间：2021-05-13

: lfvm-stg：将惰性功能语言结构映射到LLVM IR lfvm-stg：将惰性功能语言结构映射到LLVM IR
评级：0 浏览量：81 收藏量：0 资源大小：33KB 上传时间：2021-01-31

: PI演算经典入门教程2 A Calculus of Mobile Processes 2
评级：3 浏览量：64 收藏量：0 资源大小：266KB 上传时间：2009-12-31

: magic-in-ten-mins-cpp 十分钟魔法练习（C++）改写自, 原版为java实现 ...偏易 | π 类型和 Σ 类型(Pi type & Sigma type)[ADT ，构造演算] 计算理论较难 | λ 演算(Lambda Calculus)[C++面向对象基础，ADT] 偏易 | 求值策略(Eva
评级：0 浏览量：66 收藏量：0 资源大小：21KB 上传时间：2021-05-27

: lambdapi:Haskell中的依赖类型Lambda演算如何玩例子单纯型Lambda演算$ stack run stInterpreter for the simply typed lambda calculus.Type :? for help.ST> :load prelude.st相依型Lambda演算$ stack run lpInterpreter for lambda-Pi.Type :? for help....
评级：0 浏览量：51 收藏量：0 资源大小：22KB 上传时间：2021-05-06

: ECC:罗的 ECC 浅嵌入 Agda 这是在 Agda 中形式化 [An Extended Calculus of Constructions] (citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.5883) 的尝试。开发包含一个不可预测的宇宙，即位于其中的unit类型，自然数，无限宇宙层次...
评级：0 浏览量：49 收藏量：0 资源大小：28KB 上传时间：2021-06-22

: A Most Elegant Equation: Euler’s Formula and the Beauty of Mathematics Bertrand Russell wrote that mathematics can exalt “as surely as poetry.” This is especially true of one equation: ei(pi) + 1 = 0, the brainchild of Leonhard Euler, the Mozart of mathematics....
评级：0 浏览量：113 收藏量：0 资源大小：3.45MB 上传时间：2019-01-15

: Formal verification or certification related Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation. Symbolic bisimulation of the applied pi-calculus; formal methodes for mobile systems communiciation...
评级：0 浏览量：76 收藏量：0 资源大小：506KB 上传时间：2010-10-14

: Make Your Own Neural Network You won't need any mathematics beyond secondary school, and an accessible introduction to calculus is also included. The ambition of this guide is to make neural networks as accessible as possible to...
评级：0 浏览量：205 收藏量：0 资源大小：153.89MB 上传时间：2018-12-22

: make your own neural network tariq rashid You won't need any mathematics beyond secondary school, and an accessible introduction to calculus is also included. The ambition of this guide is to make neural networks as accessible as possible to...
评级：0 浏览量：127 收藏量：0 资源大小：4.97MB 上传时间：2018-11-10

资源推荐

相关资源标签

PI-演算 PI演算 Pi-calculus pi-calculus, mobile processes Calculus Robin Milner pi-calculus calculus Petri nets formal verification certification 进程代数 pi计算 web service process expressing, processing pi演算 neural netwo machine lear ai Mathematics programming-language compiler llvm lambda-calculus CompilerHaskell 研究论文 Vue Processes; Behavioral Probabilistic Testing Modal logic 开源软件 Haskell 工程技术论文 HTML Agda Erlang JavaScript