IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program …
Communicating Sequential Processes(CSP)とは、並行性に関するプロセス計算の理論のひとつである[1]。プログラミング言語Occamにも影響を与えた[2][1]。 CSPは1978年、アントニー・ホーアが最初に考案し[3]、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータ[4]やセキュアな電子商取引システム[5]などの例がある。理論としても、応用範囲を広げる(より大規模なシステムの解析に使えるようにする[6])などの研究が行われている。 歴史[編集] ホーアの1978年の論文で提示されたCSPは、プロセス計算というよりも本質的には並行プログラミング言語であった。後のCSPとは構文が著しく異なり、数学的に定義された意味論を持っておらず[7]、
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のプロセスモデルは以下の様に表わす事ができます。丸い印がプロセス、矢印が通信チャネルを表わ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く