没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
CCS and Pi-calculus
CCS and Pi-calculus
Pi-calculus
5星
· 超过95%的资源
需积分: 10
18 下载量
44 浏览量
2010-01-22
17:04:19
上传
评论
收藏
18.18MB
PDF
举报
温馨提示
立即下载
系统地介绍了CCS和pi-calculus,适合初学者使用。
资源推荐
资源评论
Modeling and analysis of WTLS handshake protocol based on applied Pi calculus
浏览:47
Modeling and analysis of WTLS handshake protocol based on applied Pi calculus
Pi calculus versus Petri nets
浏览:125
4星 · 用户满意度95%
Pi calculus versus Petri nets
The Pi-Calculus:A Theory of Mobile Processes
浏览:119
3星 · 编辑精心推荐
The Pi-Calculus:A Theory of Mobile Processes
pi-calculus
浏览:33
pi-calculus, process expressing, mobile processing
communicating and mobile systems: the pi-calculus
浏览:31
5星 · 资源好评率100%
此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。
Communicating and Mobile Systems- the Pi-Calculus-0
浏览:106
4星 · 用户满意度95%
Pi-Calculus introduction
Communicating and Mobile Systems the Pi-Calculus
浏览:66
4星 · 用户满意度95%
Communicating and Mobile Systems the Pi-Calculus,经典书,内附阅读工具WinDjView
the pi-calculus: a theory of mobile processes [part1]
浏览:141
5星 · 资源好评率100%
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论,与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
the pi-calculus: a theory of mobile processes (缺页部分)
浏览:66
5星 · 资源好评率100%
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论,与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
论文研究-基于Pi-Calculus的跨组织工作流建模方法.pdf
浏览:135
首先根据工作流管理联盟(WfMC)的有关工作流过程定义接口规范,利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外,利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效...
Lambda-Calculus and Combinators,an Introduction
浏览:12
5星 · 资源好评率100%
The λ-calculus and combinatory logic are two systems of logic which can also serve as abstract programming languages. They both aim to describe some very general properties of programs that can ...
the pi-calculus: a theory of mobile processes [part2]
浏览:129
5星 · 资源好评率100%
本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论,与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
Doing-Math-with-Python-Use-Programming-to-Explore-Algebra-Statistics-Calculus-and-More-.pdf.pdf
浏览:106
Doing-Math-with-Python-Use-Programming-to-Explore-Algebra-Statistics-Calculus-and-More-.pdf
FAQ on π-Calculus
浏览:17
π-Calculus的入门材料,值得一读
Tom Apostol - Calculus Vol I, One-Variable Calculus
浏览:189
calculus classical textbook
A Pi-Calculus based Context-Aware Model for Web Service Composition
浏览:60
A Pi-Calculus based Context-Aware Model for Web Service Composition
Tom Apostol - Calculus Vol I, One-Varialbe Calculus.pdf
浏览:13
Tom Apostol - Calculus Vol I, One-Varialbe Calculus 单变量微积分
pipl.js:PIPL - Pi-Calculus 编程库 - 原型演示
浏览:71
PIPL - Pi-Calculus 编程库 - 原型演示该演示是一个应用程序(1.0)。 可以在上获得演示。语法 S := sequencesequence := ( ( send | read ) '.' )+ sequence_endsequence_end := '()' | parallel | choiceparallel ...
refresher-algebra-calculus.zip
浏览:162
refresher-algebra-calculus
refresher-algebra-calculus.pdf
浏览:115
refresher-algebra-calculus.pdf
python大作业 含爬虫、数据可视化、地图、报告、及源码(整和为一个文件)(2014-2020全国各地区原油加工量).rar
浏览:163
5星 · 资源好评率100%
(含源码及报告)本程序分析了自2014年到2020年每年我国原油加工的产量,并且分析了2019年全国各地区原油加工量,含饼状图,柱状图,折线图,数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持,如果缺少某库请自行安装后再运行。文件含2个excel表,4个csv文件以及一个名字为render的html文件(需要用浏览器打
仿真电路以及操作方法
浏览:26
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路,实现以下功能:用低频信号源产生ui1=0.1sin2πft(V),f=500Hz的正弦波信号,加至加法器的输入端,加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量,选出f信号为uo2,uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览:118
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细,很适合给新是的实习生做培训用!是我一直在用的流程管理,很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览:69
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览:152
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真,从产生信息流到最终解调,包含星座图,误码率图。包括了相关技术的详细解释,(信道编码,扩频,导频,信道估计等)。注:本段程序不包括射频传输部分,即载波调制,基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览:146
本文档为本人保研复习过程中撰写的信号与系统复习文档,参考书籍为吴大正老师主编的信号与线性系统分析(第四版),全文共43页,包含以下内容: 一、信号与系统(绪论) 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题(保研)
Landsat_WRS2.zip
浏览:33
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS,即Worldwide Reference System,是Landsat系列卫星全球影像标记符号系统,用以区分全球各区域对应的Landsat系列卫星影像编号;其用“Path”与“Row”两个数值确定影像的编号与位置。其中,Landsat 1、2、3卫星对应编号系统为WRS-1,Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览:9
从不同地方搜集整理出来的Viso图标,全部文件都是Visio图形库的标准格式:VSS格式,内含有51个文件,分别对应类别。内容比较全面,包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
AxureRP9项目原型50套、案例20个、元件库1套.zip
浏览:46
AxureRP9项目原型50套、案例20个、元件库1套。非原创,其中一批比较好的案例值得参考,元件库直接可用,简洁美观。分享给需要的人。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
windwood
2012-12-12
不错的资料,就是有点杂
qweszxcqazsedc
2016-09-09
很好的资料,好不容易找到了
易邦
2015-01-15
这份资料对要读懂一些深奥的并行分布式系统理论书籍很有帮助
amlixi
2014-11-18
资料不错,找了很多地方,还是这里下载方便。谢谢!
panhaiyu
粉丝: 4
资源:
20
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
2022NOC软件创意编程赛项真题图形化小学高年级-决赛赛(有解析)
gbase驱动下载gbase-connector-java-8.3.81.53驱动下载
2022NOC软件创意编程赛项真题图形化小学低年级-决赛赛(有解析)
InsightFace从青铜到王者,超大规模人脸识别的优雅解法
python后端开发spider框架详解
基于 STM32 与 ESP8266 的智能家居系统源码.zip
基于matlab的鱼苗计数识别(GUI界面).zip代码57
废案
单链表基本算法设计成品.cpp
SVID_20240421_174417_1.mp4
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功