没有合适的资源？快使用搜索试试~
我知道了~
文库首页
后端
C
Pi Calculus Robin Milner
Pi Calculus Robin Milner
Calculus
Robin
Milner
5星
· 超过95%的资源
需积分: 9
5 下载量
116 浏览量
2010-06-10
17:43:38
上传
评论
收藏
4.77MB
RAR
举报
温馨提示
立即下载
Pi Calculus Robin Milner
资源推荐
资源评论
Pi Calculus Robin Milner part2
浏览：126
4星 · 用户满意度95%
Pi Calculus Robin Milner Part 2
Pi calculus versus Petri nets
浏览：91
4星 · 用户满意度95%
Pi calculus versus Petri nets
Communicating and Mobile Systems the Pi-Calculus
浏览：147
4星 · 用户满意度95%
Communicating and Mobile Systems the Pi-Calculus，经典书，内附阅读工具WinDjView
CCS and Pi-calculus
浏览：59
5星 · 资源好评率100%
系统地介绍了CCS和pi-calculus,适合初学者使用。
The Pi-Calculus：A Theory of Mobile Processes
浏览：107
3星 · 编辑精心推荐
The Pi-Calculus：A Theory of Mobile Processes
pi-calculus
浏览：179
pi-calculus, process expressing, mobile processing
communicating and mobile systems: the pi-calculus
浏览：181
5星 · 资源好评率100%
此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。
the pi-calculus: a theory of mobile processes [part1]
浏览：56
5星 · 资源好评率100%
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
the pi-calculus: a theory of mobile processes (缺页部分)
浏览：27
5星 · 资源好评率100%
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
Communicating and Mobile Systems- the Pi-Calculus-0
浏览：13
4星 · 用户满意度95%
Pi-Calculus introduction
FAQ on π-Calculus
浏览：23
π-Calculus的入门材料,值得一读
论文研究-基于Pi-Calculus的跨组织工作流建模方法.pdf
浏览：124
首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外，利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效...
Modeling and analysis of WTLS handshake protocol based on applied Pi calculus
浏览：52
Modeling and analysis of WTLS handshake protocol based on applied Pi calculus
Pi Calculus for SOA-开源
浏览：199
该项目将提供利用WS-CDL和Pi Calculus来构建更健壮的面向服务的体系结构（SOA）的工具。 这些工具现已通过JBoss工具（版本> 3.2）发布（并受支持）：http://www.jboss.org/tools
distributed_pi_calculus
浏览：129
分布式pi演算是一本很好很好的书，值得一看。
the pi-calculus: a theory of mobile processes [part2]
浏览：11
5星 · 资源好评率100%
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
基于Pi_演算的Web服务组合的描述和验证
浏览：88
基于Pi_演算的Web服务组合的描述和验证.pdf pi calculus web services
PiET: Pi Calculus Equivalences Tester-开源
浏览：74
PiET是用于Pi演算的十项行为等效的验证工具。
STM32循迹小车（灰度+OpenMV权重判断）
浏览：29
5星 · 资源好评率100%
循迹小车是基于自动引导机器人系统，用以实现小车自动识别路线，以及选择正确的路线。智能循迹小车是一个运用传感器、单片机、电机驱动及自动控制等技术来实现按照预先设定的模式下，不受人为管理时能够自动实现循迹导航的高新科技。对于初学者来讲，循迹小车是很适合新手实践的STM32项目，在目前众多的电子竞赛，如电子设计竞赛、工程训练赛、智能竞赛中均会出现循迹小车或与小车相关的比赛。循迹小车一般包含车体结构设计，
谭浩强C语言程序设计第五版详细答案
浏览：26
谭浩强C语言程序设计第五版详细答案。 该教材有配套教材——《C程序设计（第五版）学习辅导》 《C程序设计（第五版》是由谭浩强编著，2017年清华大学出版社出版的“十二五”普通高等教育本科国家级规划教材、北京市高等教育精品立项项目教材、中国高等院校计算机基础教育课程体系规划教材。该教材是既可作为高等学校各专业的正式教材，也适合读者自学。
MQTT协议设备客户端与图传APP.zip
浏览：74
这是基于Qt设计的MQTT图传客户端和MQTT客户端APP。 注意： 这不是源码，这是打包好的软件。打开可以运行这种。 我的博客里很多MQTT相关的项目里都用到了这里面包含的软件，大家可以直接下载使用。 0积分下载。
Keil.STM32H7xx-DFP.3.1.1.pack
浏览：132
5星 · 资源好评率100%
STM32H7xx_DFP.3.1.1.pack
基于stm32f407的示波器+FFT频谱分析
浏览：148
5星 · 资源好评率100%
使用DMA直接将ADC->DR中的数据传输到ADC数据缓存区，使用定时器触发adc，可调采样率，最高2.8MHz，可进行fft运算，使用emwin绘制时域图像和频域图。
C语言求一个正整数的位数
浏览：85
3星 · 编辑精心推荐
要求一个正整数的位数，可以通过循环和除法运算来实现。以下是一个使用C语言的示例代码： #include <stdio.h> int main() { unsigned int num; int count = 0; printf("请输入一个正整数："); scanf("%u", &num); while (num > 0) { num
zlib-1.2.13.tar.gz
浏览：195
5星 · 资源好评率100%
zlib-1.2.12.tar.gz
猴子吃桃问题c语言.猴子吃桃问题c语言
浏览：78
猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子吃桃问题c语言猴子
STM32CubeIDE 1.14.0 自动补全代码
浏览：50
5星 · 资源好评率100%
替换路径C:\***\STM32CubeIDE\STM32CubeIDE\plugins
mingw64.zip
浏览：39
windows下的gcc安装包
基于STM32的FFT频谱分析+波形识别
浏览：146
5星 · 资源好评率100%
里面有两个文件夹，第一个是基础版本，第二个可以触屏改变采样频率，进而优化频率分辨率，使频谱分析更精确。频谱分析（50Hz~200Hz，其他范围内应该也可以）包括了基频，3，5，7次谐波的峰值，波形识别可识别正弦，方波，锯齿波，三角波。硬件为正点原子精英版3.5‘TFTLCD，直接烧写肯定能用。(我的博客里有程序说明)
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
易邦
2015-01-15
资料很好，要是有中文版就好了。
amlixi
2015-01-09
谢谢分享，资料不错，求中文清晰版
mzjiang2004
粉丝: 1
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
ol-点击显示实时交通（day05）
c++大纲资料.txt
mysql大纲资料.txt
【资料】欧盟电池法.zip
onenet_chongwukanhu_v06.apk
2022NOC软件创意编程赛项真题C++初中-决赛（有解析）
2022NOC软件创意编程赛项真题python初中-决赛（有解析）
openLayer-本地数据加载 （day5）
基于STM32的音乐频谱灯8x8 LED点阵源码.zip
毕业设计：基于SSM的mysql-校园图书在线阅读系统（源码 + 数据库 + 说明文档）
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
5星 · 超过95%的资源 需积分: 9 5 下载量 116 浏览量
2010-06-10
17:43:38
上传
评论
收藏 4.77MB RAR 举报 
