没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
进程代数《Communicating Sequential Processes》
进程代数《Communicating Sequential Processes》
进程代数
csp教材
5星
· 超过95%的资源
需积分: 24
10 下载量
147 浏览量
2012-10-22
20:41:22
上传
评论
1
收藏
1.22MB
PDF
举报
温馨提示
立即下载
介绍进程代数,出自C. A. R. Hoare
资源推荐
资源评论
communication sequential process
浏览:55
CSP 描述这样一种并发模型:多个Process 使用一个 Channel 进行通信, 这个 Channel 连结的 Process 通常是匿名的,消息传递通常是同步的。CSP 是一门形式语言(类似于 ℷ calculus),用于描述并发系统中的互动模式,也因此成为一众面向并发的编程语言的理论源头。
沟通顺序流程Communicating Sequential Processes
浏览:185
这是对通信顺序过程(CSP)(一种描述交互模式的语言)及其数学理论的极好的介绍。
进程间通信 Process communication
浏览:13
5星 · 资源好评率100%
进程间通信 Process communication
一份对进程代数的简要介绍
浏览:47
5星 · 资源好评率100%
由我自己整理的对形式化方法中的进程代数给了一个总体的概览,因为国内做这个方向的不过,而且中文资料少得可怜,仅以分享。
通信顺序进程(CSP) C.A.R.Hoare(两份资料)
浏览:154
5星 · 资源好评率100%
资源有两份:一是中文电子版,周巢尘译的。中文版的通信顺序进程教材,主要有7章的内容。第一章是进程,第二章是并发性,第三章是非确定性,第四章是通信,第五章是顺序进程,第六章是资源共享。第七章是讨论。 二是CSPbook_2004_Hoare。
Communicating Sequential Processes
浏览:18
Communicating Sequential Processes
图灵奖得主托尼·霍尔(Tony Hoare)进程代数.rar
浏览:134
一个ppt,一个英文pdf,对于进程代数的了解有点帮助!
通信顺序进程(CSP)英文版
浏览:63
本文档是CSP(Communicating Sequential Processes)通信顺序进程的英文文档,详细介绍了CSP相关内容。全书共有7个章节,分别为进程,并发,非确定性,通信,顺序进程,资源共享,讨论等。
go[5]-Goroutines Channels
浏览:62
顺序通讯进程(communicating sequential processes)简称CSP. 并发(concurrency):逻辑上具备同时处理多个任务的能力。 并行(parallelism):物理上再统一时刻执行多个并发任务。 goroutine 简单将goroutine归纳...
Pragmatic.Seven.Concurrency.Models.in.Seven.Weeks.When.Threads.Unravel
浏览:121
通信顺序进程(Communicating Sequential Processes,CSP):表面上看,CSP模型与actor模型很相似,两者都基于消息传递。不过CSP模型侧重于传递信息的通道,而actor模型侧重于通道两端的实体,使用CSP模型的代码会带...
PAT——一种高性能软件验证工具
浏览:36
5星 · 资源好评率100%
通信顺序进程(communicating sequential proces)验证软件,打开csp格式文件的软件,对开发的软件进行验证的高性能工具。
Oreilly.Concurrency.in.Go.Tools.and.Techniques.for.Developers
浏览:176
Modelling your code: Communicating Sequential Processes Chapter 3. Go’s Concurrency Building Blocks Chapter 4. Concurrency Patterns in Go Chapter 5. Concurrency at Scale Chapter 6. Goroutines and ...
无线网络中对于安全协议的形式化分析 (2009年)
浏览:26
Communicating Sequential Processes(CSP)是一个描述传值并行系统的概念,是研究并发系统问题的良好工具,也可以用于安全协议的安全以及认证性的测试。在本文中,通过对基于安全认证的PAP协议的Casper和CSP形式化...
Communicating Data with Tableau
浏览:5
5星 · 资源好评率100%
Communicating Data with Tableau
CCSR_A_Calculus_for_Communicating_Shared_Resources.pdf
浏览:137
基于进程代数方法的资源共享
Communicating and Mobile Systems the Pi-Calculus
浏览:14
4星 · 用户满意度95%
Communicating and Mobile Systems the Pi-Calculus,经典书,内附阅读工具WinDjView
英文原版-Communicating Science Effectively A Research Agenda 2016 1st Edition
浏览:80
perceived, and used.Summary 1 Using Science to Improve Science Communication2 The Complexities of Communicating Science3 The Nature of Science-Related Public Controversies4 Communicating Science in a
The.Go.Programming.Language.0134190440.epub
浏览:14
5星 · 资源好评率100%
The first, which covers the basic mechanisms of goroutines and channels, illustrates the style known as communicating sequential processes for which Go is renowned. The second covers more traditional
Communicating from Space.pdf
浏览:167
Communicating from Space
Communicating Design: Developing Web Site Documentation for Design and Planning
浏览:168
Most discussion about Web design seems to focus on the creative process, yet turning concept into reality requires a strong set of deliverablesthe documentation (concept model, site maps, usability ..
python大作业 含爬虫、数据可视化、地图、报告、及源码(整和为一个文件)(2014-2020全国各地区原油加工量).rar
浏览:91
5星 · 资源好评率100%
(含源码及报告)本程序分析了自2014年到2020年每年我国原油加工的产量,并且分析了2019年全国各地区原油加工量,含饼状图,柱状图,折线图,数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持,如果缺少某库请自行安装后再运行。文件含2个excel表,4个csv文件以及一个名字为render的html文件(需要用浏览器打
仿真电路以及操作方法
浏览:54
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
浏览:107
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细,很适合给新是的实习生做培训用!是我一直在用的流程管理,很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览:199
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
liaizpx
2012-12-17
感谢提供资源,正在学习,十分需要这种书籍
shawnchenchen
2012-11-20
谢谢提供这么好的电子书,进程代数实在是非常抽象
seabamboo
粉丝: 0
资源:
18
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
2023年第三期仿水彩头像团练-课程网盘链接提取码下载 .txt
数据库之SJK数据库设计
数据库实验四 SJK存储过程实验
数据库之实验五 SJK触发器
实验六 数据库之SJK安全性语言
实验七 SJK数据库定义与操纵
复制运行了 kaggle 上的ted talk 项目 除了最后的那及部分 其他已经通关
数据库大作业实验报告完整版
BurpSuite使用的插件HaE-2.6.1.jar
实验二 SJK数据库设计与应用开发
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功