交谈循序程式 编辑
在计算机科学中，交谈循序程式，又译为通信顺序进程、交换讯息的循序程式，是一种形式语言，用来描述并发性间进行互动的模式。它是叫做进程代数或进程演算的关于并发计算的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影响了Occam的设计，也影响了程式语言如Limbo、RaftLib、Go、 Crystal和Clojure的core.async等。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
occam，一种并发计算程式语言，主要基于交谈循序程式的进程演算，以及它的许多特色而实作。它的名称来自于奥卡姆的威廉提出的奥卡姆剃刀原则。
Newsqueak，一种并行性程式语言，可在视窗系统上撰写应用程序。它在1980年代末期在贝尔实验室被开发出来，设计者为罗勃·派克。在语法上，它受到C语言的影响，但它在进行平行运算时，则受到东尼·霍尔的交谈循序程式所启发。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
在计算机科学中，进程演算是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系的代数法则。关于进程演算的典例主要包括交谈循序程式、CCS、ACP，和LOTOS。最近新增的演算包括Π-演算，环境演算，PEPA，融合演算和联接演算。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
在计算机科学中，进程演算是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系的代数法则。关于进程演算的典例主要包括交谈循序程式、CCS、ACP，和LOTOS。最近新增的演算包括Π-演算，环境演算，PEPA，融合演算和联接演算。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
occam，一种并发计算程式语言，主要基于交谈循序程式的进程演算，以及它的许多特色而实作。它的名称来自于奥卡姆的威廉提出的奥卡姆剃刀原则。