[科普中国]-交谈循序进程

交谈循序程序是一种形式语言。

简介交谈循序程序（英语：Communicating sequential processes，缩写为CSP），又译为通信顺序进程、交换消息的循序程序，一种形式语言，用来描述并发性系统间进行交互的模式。最早起源于东尼·霍尔在1978年发表的论文。通信顺序进程高度影响了Occam的设计，也影响了如Limbo与Go等编程语言。

历史通信顺序进程最早出现于东尼·霍尔在1978年发表的论文，但在之后又经过一系列的改善。在出现之后，就成为描叙并发程序设计中常用的形式语言。1

并发性在计算机科学中，并发性（英语：Concurrency）是指在一个系统中，拥有多个计算，这些计算有同时执行的特性，而且他们之间有着潜在的交互。因此系统可进行的运行路径会有相当多个，而且结果可能具有不确定性。并发计算可能会在具备多核心的同一个芯片中复合运行，以优先分时线程在同一个处理器中运行，或在不同的处理器执行。

一些数理模型已经为解决一般的并发计算问题而发展，包括Petri网、进程、PRAM模型和参与者模式。2

形式语言在数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。

如语言学中语言一样，形式语言一般有两个方面:语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。2

OccamOccam，一种并行性编程语言，主要基于交谈循序程式的程式代数，以及它的许多特色而实作。它的名称来自于奥卡姆的威廉提出的奥卡姆剃刀（Occam's razor）原则。

类似于Pascal，Occam也是一种指令程序编程的编程语言。这个语言于1983年出现，由英国计算机科学家David May，以及Inmos的科学家，在东尼·霍尔提供顾问意见后，共同研发而成。1

本词条内容贡献者为:

杨晓红 - 副教授 - 西南大学