在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。C...

在计算机科学中，进程演算（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程...

occam，一種并发程式語言，主要基於通信顺序进程的程式代數，以及它的許多特色而實作。它的名稱來自於奥卡姆的威廉提出的奥卡姆剃刀（Occam's razor）原則。 occam是一種類似於Pascal的指令式过程式編程語言。這個語言於1983年出現，由英國計算機科學家David May（英语：David...

在计算中，通道（channel）是通过消息传递进行进程间通信和同步的编程模型。作为一个流，消息可以经由通道发送，另一个进程或线程能够接收它已经引用的经由通道发送的消息。通道的不同实现，可以没有缓冲区也可以有缓冲区，消息传递相应的可以是同步的也可以是异步的。 通道是并发的进程演算方式的基础，并起源于通信顺序进程...

任牛津大学计算机科学系主任和计算机科学教授。他也是牛津大学大学学院的研究員。 罗斯科教授的研究领域是并发理论，特别是和東尼·霍爾一起研究用于构建通信顺序进程（CSP）的语义及其相关的occam programming language。他和别人共同创建了正規系統（歐洲）有限公司（Formal Systems...

它的並行計算模式，受到東尼·霍爾的通信顺序进程所啟發。 Limbo支持如下特征： 模块化编程 并发编程 强类型检查于编译时间和运行时间 进程间通信经由有类型的通道 自动垃圾收集 简单的抽象数据类型 执行Limbo代码的Dis虚拟机是CISC类的VM，具有的指令包括：算数、控制流、数据移动、进程创建、同步和进程间通信...

通信、轮选、端口和定时器。Occam是David May（英语：David May (computer scientist)）开发的并建立在通信顺序进程（CSP）之上，CSP是Tony Hoare开发的进程代数系统。 occam C语言 通信顺序进程 Handel-C David...

在集成电路设计中，VerilogCSP是Verilog硬件描述语言的一个宏，目的是为了支持通信顺序进程（CSP）。这个宏可以用来进行同步数字电路的设计。 VerilogCSP还可以描述非线性流水线结构高级别通道的时间属性，正向或负向的时间延迟，最小循环时间等。 VerilogCSP Homepage...

uth分时系统（英语：Dartmouth Time Sharing System）开发的“通信文件”。Tony Hoare在1978年提出的通信顺序进程（CSP），进一步发展了McIlroy的管道，但它用于通信的无缓冲区通道不是头等对象。CMS管道（英语：CMS...

應用程式。它在1980年代末期在貝爾實驗室被開發出來，設計者為羅勃·派克。在語法上，它受到C語言的影響，但它在進行平行運算時，則受到東尼·霍爾的通信顺序进程所啟發。 它的前身是Squeak，由Luca Cardelli與羅勃·派克設計的程式語言，可以用於實做图形用户界面（GUI）。 Inferno操作系统...

晶片尺寸封裝（Chip Size Package） Chip-Scale Package 商業服務提供商（Commercial Service Provider） 通信顺序进程 約束滿足問題（英語：Constraint Satisfaction Problem）是一種數學問題的類型，主要是問題中有一系統的約束條件要滿足。...