[科普中國]-交談循序進(jìn)程

交談循序程序是一種形式語言。

簡介交談循序程序（英語：Communicating sequential processes，縮寫為CSP），又譯為通信順序進(jìn)程、交換消息的循序程序，一種形式語言，用來描述并發(fā)性系統(tǒng)間進(jìn)行交互的模式。最早起源于東尼·霍爾在1978年發(fā)表的論文。通信順序進(jìn)程高度影響了Occam的設(shè)計(jì)，也影響了如Limbo與Go等編程語言。

歷史通信順序進(jìn)程最早出現(xiàn)于東尼·霍爾在1978年發(fā)表的論文，但在之后又經(jīng)過一系列的改善。在出現(xiàn)之后，就成為描敘并發(fā)程序設(shè)計(jì)中常用的形式語言。1

并發(fā)性在計(jì)算機(jī)科學(xué)中，并發(fā)性（英語：Concurrency）是指在一個系統(tǒng)中，擁有多個計(jì)算，這些計(jì)算有同時執(zhí)行的特性，而且他們之間有著潛在的交互。因此系統(tǒng)可進(jìn)行的運(yùn)行路徑會有相當(dāng)多個，而且結(jié)果可能具有不確定性。并發(fā)計(jì)算可能會在具備多核心的同一個芯片中復(fù)合運(yùn)行，以優(yōu)先分時線程在同一個處理器中運(yùn)行，或在不同的處理器執(zhí)行。

一些數(shù)理模型已經(jīng)為解決一般的并發(fā)計(jì)算問題而發(fā)展，包括Petri網(wǎng)、進(jìn)程、PRAM模型和參與者模式。2

形式語言在數(shù)學(xué)、邏輯和計(jì)算機(jī)科學(xué)中，形式語言（英語：Formal language）是用精確的數(shù)學(xué)或機(jī)器可處理的公式定義的語言。

如語言學(xué)中語言一樣，形式語言一般有兩個方面:語法和語義。專門研究語言的語法的數(shù)學(xué)和計(jì)算機(jī)科學(xué)分支叫做形式語言理論，它只研究語言的語法而不致力于它的語義。在形式語言理論中，形式語言是一個字母表上的某些有限長字符串的集合。一個形式語言可以包含無限多個字符串。2

OccamOccam，一種并行性編程語言，主要基于交談循序程式的程式代數(shù)，以及它的許多特色而實(shí)作。它的名稱來自于奧卡姆的威廉提出的奧卡姆剃刀（Occam's razor）原則。

類似于Pascal，Occam也是一種指令程序編程的編程語言。這個語言于1983年出現(xiàn)，由英國計(jì)算機(jī)科學(xué)家David May，以及Inmos的科學(xué)家，在東尼·霍爾提供顧問意見后，共同研發(fā)而成。1

本詞條內(nèi)容貢獻(xiàn)者為:

楊曉紅 - 副教授 - 西南大學(xué)