进程演算 编辑
在计算机科学中，进程演算是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系的代数法则。关于进程演算的典例主要包括交谈循序程式、CCS、ACP，和LOTOS。最近新增的演算包括Π-演算，环境演算，PEPA，融合演算和联接演算。
5
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
occam，一种并发计算程式语言，主要基于交谈循序程式的进程演算，以及它的许多特色而实作。它的名称来自于奥卡姆的威廉提出的奥卡姆剃刀原则。
在计算机科学中，交谈循序程式，又译为通信顺序进程、交换讯息的循序程式，是一种形式语言，用来描述并发性间进行互动的模式。它是叫做进程代数或进程演算的关于并发计算的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影响了Occam的设计，也影响了程式语言如Limbo、RaftLib、Go、 Crystal和Clojure的core.async等。
在计算机科学中，π-演算是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算的基础上设计而成。
在计算机科学中，交谈循序程式，又译为通信顺序进程、交换讯息的循序程式，是一种形式语言，用来描述并发性间进行互动的模式。它是叫做进程代数或进程演算的关于并发计算的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影响了Occam的设计，也影响了程式语言如Limbo、RaftLib、Go、 Crystal和Clojure的core.async等。
occam，一种并发计算程式语言，主要基于交谈循序程式的进程演算，以及它的许多特色而实作。它的名称来自于奥卡姆的威廉提出的奥卡姆剃刀原则。