CSPとはCommunicating Sequential Processesの訳でOxford大学のTony Hoareが1979年に考案したもので、並列処理で必要とされる基本的な動作を記述するプロセス代数です。詳しくはWikiのサイトに記載されています。CSPモデルに基づく並列処理プログラミング言語occamは1980年代初めに考案され、ハードウェアとしてTransputerが作られました。Transputerが無くなった今でも、occamの思想はC,C#,C++,Java,Haskell,Python, Handel-C, XCなど多くのプログラミング言語にCSPモデルがライブラリとして準備されました。従って通常のプログラミング環境でもCSPモデルの恩恵を受ける事ができます。 CSP/occamのプロセスモデルは以下の様に表わす事ができます。丸い印がプロセス、矢印が通信チャネルを表わ